ブール代数の知識があると、 ・肯定先読み ・否定先読み ・肯定戻り読み ・否定戻り読み ・文字クラス ・否定文字クラス ・選択 の組み合わせを同値変形で変形することが可能となります 分配法則、結合法則、ドモルガンの法則、双対の原理などが使われます