離散數(shù)學命題公式化簡的思路

命題公式/命題形式/合式公式/公式：

1、可滿足式：非重言的可滿足式

重言式/永真式

2、矛盾式/永假式（不存在成真指派）

命題公式不是命題，只有當公式中的每一個命題變項都被賦以確定的真值時，公式的真值才被確定，從而成為一個命題。?

命題邏輯的等值演算：

A?B：A和B有等值關(guān)系。對任意真值指派，A與B取值相同。A?B為永真式。

等值關(guān)系一般通過真值表法或者等值演算法得到。

而不等值，只能通過真值表法，找到某個真值指派使得一個為真一個為假

德摩根律：┐(A∨B)?┐A∧┐B、┐(A∧B)?┐A∨┐B

蘊含等值式：A→B?┐A∨B

吸收律：A∨(A∧B)?A、A∧(A∨B)?A

歸謬式：(A→B)∧(A→┐B)?┐A