離散數學第一章
1.公式類型
1）重言式
也是永真式，公式真值恆爲1。
2）矛盾式
永假式，真值恆爲0。
3）可滿足式
不是矛盾式的就都是可滿足式。重言式一定是可滿足式。
2.成真賦值與成假賦值
也叫成真指派與成假指派。
一組原子的取值（真值指派）使得公式爲真：成真指派（賦值）
一組原子的取值（真值指派）使得公式爲假：成假指派（賦值）
3.等價式
也叫等值式，即任意的分量指派情況下，公式的值都相同，則等價。
可用真值表、等值演算法判斷。
4.析取範式與合取範式
有限個命題變量（及其非命題）的析取稱爲析取式。
有限個命題變量（及其非命題）的合取稱爲合取式。
有限個合取式的析取稱爲析取範式。
有限個析取式的合取稱爲合取範式。
合取範式與析取範式仍不唯一。
析取範式與合取範式中只能包含非、且、或。
任意公式都存在等值的析取範式與合取範式。
極小項：（小項、布爾合取）包含n個命題變元的合取式，且每個命題變元或其非命題變元出現且僅出現一次（p出現則非p不出現、非p出現則p不出現），且出現的次序與下標次序（或字母的字典序）一致。
eg：三個命題變元，對應的小項就有八個小項。
極大項：（大項、布爾析取）包含n個命題變元的析取式，且每個命題變元或其非命題變元出現且僅出現一次（p出現則非p不出現、非p出現則p不出現），且出現的次序與下標次序（或字母的字典序）一致。
eg：三個命題變元，對應也有八個大項，需要注意的是用的是成假賦值。
主合取範式：合取範式中每個析取式都是大項，則稱爲主合取範式。
主析取範式：析取範式中每個合取項都是小項，則稱爲主析取範式
求主析取範式與主合取範式：真值表法與等值演算法。
eg：真值表舉例：
要注意例子中求主析取範式中用的是小項，而求主合取範式用的是求主析取範式所剩下的項所對應的成假賦值的大項。
eg：等值演算：核心方法是抽出一個永真式，在進行等值演算
eg2：再舉一個例子
