第二章我們學習了等值演算，記得講這一章的那天我朝窗外看了一眼，A樓南面的晚櫻樹光秃秃的，現在已經花骨朵萬千(簡稱花千骨)，已經過去很久了呢，講了什麼内容呢，一起來回顧一下。
一.等值演算
如果兩個公式A與B含有相同的命題變元，如果在所有指派下，A與B的真值都相同，則說明這兩個公式是等值的。
判斷兩個公式是否等值，最直接的方法就是用真值表法，判斷A與B是否在所有指派下同真值，或者判斷A等價B是否是重言式。
但是當命題變元較多的是時候，真值表法判斷公式等值的工作量是很大的。這時，等值演算法的強大功能就凸顯出來了。
等值演算法是利用已知的等值式通過代換得到新的等值式。
二.基本等值式
本章的16組基本等值式是基礎，常用且重要，以它們為基礎進行運算，可以證明公式等值。
在這些等值式中，蘊涵等值式、吸收律、德摩根定律是需要記住的，其餘的比較好了解。還有，配置設定律的倒着使用(從右向左運算)，也很常見。
上課時黑闆上寫過的四個變元的配置設定律，要悄悄記在心裡哦。
三.等值演算的用途
- 證明公式等值
求與下面謂詞公式等值的前束範式_第二章 等值演算小結 -
化簡公式
利用16組基本等值式進行公式的化簡。不舉例了哦。
- 判斷公式類型: A為沖突式當且僅當A=0，A為重言式當且僅當A= 1
求與下面謂詞公式等值的前束範式_第二章 等值演算小結 - 求公式的成真成假指派
求與下面謂詞公式等值的前束範式_第二章 等值演算小結 求與下面謂詞公式等值的前束範式_第二章 等值演算小結
四.範式
1.基本概念
2.定理
任何命題公式都存在與之等值的析取範式與合取範式。但析取範式與合取範式不是唯一的。
3.步驟
在含有n個命題變項的簡單合取式中，若每個命題變項均以文字的形式在其中出現且僅出現一次，而且第i個文字出現在左起第i位上，稱這樣的簡單合取式為極小項。
極大項的定義與之類似，不再贅述。
幾點說明：
(1)極小項是特殊的簡單合取式；
(2)n個命題變項有2的n次方個極小項和2的n次方個極大項；
(3)2的n次方個極小項(極大項)均互不等值；
(4)用mi表示第i個極小項，其中i是該極小項成真指派的十進制表示. 用Mi表示第i個極大項，其中i是該極大項成假指派的十進制表示. mi(Mi)稱為極小項(極大項)的名稱.
(5)由極小項的析取構成的析取範式稱為主析取範式。
(6)由極大項的析取構成的合取範式稱為主合取範式。
(7)每個公式都存在與之等值的主析取範式和和主合取範式，并且是唯一的。
(8)同一個公式的主析取範式和主合取範式的下标是互補的。
特别提問：
極小項和極大項的名稱的下标，是怎麼來的呢？
上一篇：第一章《命題邏輯》第二章《等值演算》作業點評
推薦：第一章 命題邏輯 小結