2.1 邏輯函數基本運算與定律
1.對偶規則
對偶規則的理解：定義中要求將0-1之間互換，與或之間互換，同時保證變量間的運算順序不變必要時可添加括號，這樣可得到某函數的對偶函數。之前的理解是邏輯函數式中出現1或者0這樣的邏輯產量時，將其改變，比如f=1*A+0*B, 將式子變為（0+A）*(1+B），實際上我將0-1之間的互換理解錯了，並非式子中出現0或者1才去轉換它，式子中一直是有1的，1*A，1*AB....，不可能全部變為0來和變量相加（邏輯加），本質是邏輯變量A和B要么取0,要么取1,要對它們進行轉化，這也就變成了三種邏輯運算之間的變化。對偶的意義何在呢？此規則出現於邏輯運算和化簡部分，可能是為了方便運算服務的。
如果兩個邏輯式相等，則他們的對偶式也相等。
2.反演規則
反演是求原函數的反函數，就是原函數值的相反值。相較於對偶規則，反演多出來一個邏輯變量的取反。
3.置換規則
置換是由簡到繁的，由繁到簡的一個過程，所以通過置換簡化后，就可以更清楚地看清運用公示表中的哪個公式，畢竟公式表中的公式都是最簡化的。
4.總結
邏輯運算中出現的公式有很多，如何證明它們是正確的，（只有證明是正確的，才能合理地理解和運用) 在公式表中重疊律，A+A=A,A*如何減少證明的次數，這兩個式子是相等的，可以運用對偶規則的定義，兩個式子相等且成立，則它們的對偶式也是相等的，第一個式子和第個式子是對偶的，第一個式子成立，第二個式子自然也是對的，在那么多式子表里，證明的數目將會減少一些。A+A=A,A的反演還是A,A+A的反演是A*A.