運算元優先序
() > ' > . > + => 括弧 > 反向(補數) > AND > OR
對偶原理
OR(+) 與 AND(.)交換,0與1交換,仍成立
如公理5、公理6
等冪性(Indempotnet Laws)
邊界定理(Boundedness theory)
補數的唯一性(uniqueness of complement)
補數(complementation)
累乘性(Involution)
吸收率(Absorption laws)
吸收率(absorbtion laws)
結合率(associative laws)
迪摩根定理(DeMorgan's theorems)
運用上述定理與公理,可進行布林代數形式的轉換。
使用布林代數運算
完全歸納法(使用真值表)
交換表示式
交換表示式
最大項(maxterm)與最小項(minterm)
SOP與 POS形式
交換函數標準式
標準式互換
$F=x\cdot y$