迪摩根定理(DeMorgan)
n(X+Y)’=X’˙Y’
(X˙Y)=X’+Y’
卡諾圖
卡諾圖是真值表的變形，它可以將有n個變數的
個最小項組織在給定的長方形表格中，同時為相鄰最小項（相鄰與項）運用鄰接律化簡提供了直觀的圖形工具。但是，如果需要處理的邏輯函數的自變數較多，那麼卡諾圖的行列數將迅速增加，使圖形更加複雜；此外，卡諾圖的圖形化表示方法不適合直接用於演算法的設計，因此工具一般不會使用卡諾圖來進行邏輯函數的優化。
(X˙Y)=X’+Y’
卡諾圖
卡諾圖是真值表的變形，它可以將有n個變數的
個最小項組織在給定的長方形表格中，同時為相鄰最小項（相鄰與項）運用鄰接律化簡提供了直觀的圖形工具。但是，如果需要處理的邏輯函數的自變數較多，那麼卡諾圖的行列數將迅速增加，使圖形更加複雜；此外，卡諾圖的圖形化表示方法不適合直接用於演算法的設計，因此工具一般不會使用卡諾圖來進行邏輯函數的優化。
n=
