（1）ab為重言式：如果a、b共同含有n個命題變項，a或b可能含有啞元。若a與b有相同的真值表，則說明在所有的2^n個賦值下，a與b的真值都相同，因而等價式ab為重言式。
（2）等值：如果等價式ab為重言式，那麼a與b是等值的，記做a<=>b。
（3）等值式模式：根據p非非p是重言式，那麼我們可以推導出，對於乙個a是任意的命題公式，那麼都有a<=>非非a，成這個式子為等值式模式。下面給出常用的16組等值式模式：
以上16組等值式模式共包含了24個重要的等值式，他們都是用元語言符號書寫的。等值式模式中的a,b,c，可以替換成任意的公式，每個等值式模式都可以各處無窮多個同型別的具體的等值式。
課本上包含了若干的例題，可以驗證一下。我們來看乙個經典的例題：
（1）析取式：用析取真值連線詞「∨」將兩個或兩個以上的命題聯結而成的一種命題形式
合取式：用合取真值連線詞「∧」將兩個或兩個以上的命題聯結而成的一種命題形式
（2）簡單析取式和簡單合取式：命題變項及其否定統稱為文字，僅有有限個文字構成的析取式稱作簡單析取式，僅有有限個文字構成的合取式，稱作簡單合取式。
（3）乙個簡單析取式是重言式當且僅當它同時包含某個命題變項及它的否定式；乙個簡單合取式是矛盾式當且僅當它同時包含某個命題變項以及他的否定式。
（4）析取正規化/合取正規化：有有限個簡單合取式的析取構成的命題公式稱作析取正規化。由有限個簡單析取式的合取構成的命題公式成為合取正規化。析取正規化與合取正規化統稱正規化。
（5）析取正規化和合取正規化的性質：乙個析取正規化是矛盾式，當且僅當它的每個簡單合取式都是矛盾式；乙個合取正規化是重言式當且僅當它的每個簡單析取式都是重言式。
（6）將公式轉化為析取或者合取正規化：將->和按照等值式轉化成對應的形式，正規化中不能出現非修飾的複合式或者雙重否定式等，如下圖：
（7）正規化存在定理：任一命題公式都存在與之等值的析取正規化與合取正規化
（8）正規化規範化/簡單合取式（極小項）/簡單析取式（極大項）：在含有n個命題變項的簡單合取式（簡單析取式）中，若每個命題變項和它的否定式恰好出現乙個且僅出現一次，而且命題變項或它的否定式按下表從小到大或按字典順序排列，成這樣的簡單合取式（簡單析取式）為極小項（極大項）
由那個命題變項共課產生2^n個不同的極小項，且每個極小項都有且只有乙個成真賦值。若極小項對應的成真賦值構成的二進位制數的十進位制數為i，就將這個極小項記做mi。類似的，n個命題變項共可產生2^n個不同的極大項，且每個極大項都只有乙個成假賦值，將其對應的十進位制數記做mi，如下所示：
（9）設mi和mi是命題變項p1，p2......pn的極小項和極大項，則非mi<=>mi， 非mi<=>mi；
(10)主合取正規化/主析取正規化：所有簡單合取式（析取式）都是極小項（極大項）的析取正規化（合取正規化）稱作主析取正規化（主合取正規化）。
（11）任何命題公式都存在與之等值的主析取方式和主合取正規化，並且是唯一的。證明如下：
下面看幾個例題：
（12）主析取正規化的用途：a)求公式的成真賦值與成假賦值--若公式a中含有n個命題變項，a的主析取正規化喊s個極小項，則a有s個成真賦值，他們是所含極小項角標的二級制表示。b)判斷公式的型別:設公式a中含n個命題變項，容易看出：a為重言式當且僅當a的主析取正規化含全部2^n個極小項；a為矛盾式當且僅當a的主析取正規化不含任何極小項，此時，記a的主析取正規化為0；a為可滿足時當且僅當a的主析取正規化中至少含乙個極小項。c)判斷兩個公式是否等值：設公式a，b含有n個命題變項，按n個命題變項求出a與b的主析取正規化，如果主析取正規化相等，那麼a與b等值。
（1）n元真值函式：稱f：^n-->為n元真值函式。
在這個定義中，f的自變數為n個命題變項，自變數的取值含有2^n個，同時對應的值域只有2個，即.比如1元真值函式，自變數為，值域為。但是可以兩兩組合，就是說，自變數不變，值域可能是，，，。比如下表，對於命題變項p，有取值1,0兩個。而對應的值域取值有四種情況，對應就生成了4個真值函式：
下圖是2元真值函式對應的**，一共包含16個真值函式。也就是說，對於n個命題變項，一共可以構成2^（2^n）個真值函式。
（2）每個真值函式與唯一的乙個主析取正規化等值！對應的主析取正規化包含的極小值為n個命題變項的取值對應的1的位置，比如上標中，f3，他是m2或m3，因為p，q取值分別為，，對應的真值函式取1，因此f3<=>m2或m3.
（3）聯結詞完備集：設s是乙個聯結詞集合，如果任何的n（n>=1）元真值函式都可以由s中的聯結詞構成的公式表示，則稱s是聯結詞完備集。與或非構成的集合時聯結詞完備集。同時，非或，非與，非蘊含兩兩組合也是完備集。完備集的基礎上再增加新的連線詞，也是完備集。
（4）與非聯結詞：見下圖
略，自己體會
離散數學 筆記
1.復合命題的真值只取決於各原子命題的真值，而與它們的內容 含義無關，與原子命題之間是否有關係無關。2.命題公式 1 重言式 2 矛盾式 3 可滿足式 1.重言式 給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為真，則稱該命題為重言式或永真式 2.給定一命題公式，若無論對分量作怎樣的指派，...
筆記 離散數學
這學期學習了離散數學 這門課程，離散數學 包含了群 環 域 格 布林代數五個代數系統 代數系統 非空集合a，連同若干個在該集合上的封閉運算f1，f2，fn所組成的系統，記為1，f2，fn 代數系統的組成 載體 非空集合a 定義在載體上的運算，代數常元 代數運算的性質 交換律，結合律，分配律，吸收律 ...
離散數學筆記 01
命題邏輯 非，合取，析取，真值表 0，1 合取，只有當pq均為真時才為真，可理解為串聯，與 析取，只有當pq均為假時才為假，可理解為併聯，或 蘊涵 p q 稱為p與q的蘊含式，其真假的判斷是一種形式邏輯，而不去考慮語義本身，具有明顯侷限性，因為只要符合語法規則即可。由此可看，數學是抽象的系統，並不一...