1-2 ブール代数

ブール代数の知識があると、
・肯定先読み
・否定先読み
・肯定戻り読み
・否定戻り読み
・文字クラス
・否定文字クラス
・選択
の組み合わせを同値変形で変形することが可能となります

分配法則、結合法則、ドモルガンの法則、双対の原理などが使われます