命题逻辑等值演算

等值式：若A<—>B为永真式，则称A，B是等值的。

记住：A<=>B,称A<=>B为等值式

常见等值式：

双否律

幂等律

交换律

结合律

分配律

德摩根律：

非（A ^ B）<=> 非A v 非B，

非（A v B）<=> 非A  ^ 非B，

吸收律

A v (A ^ B)<=>A,

A ^ (A v B)<=>A,

零律

A v 1 <=> 1.

A ^ 0 <=> 0

同一律

A ^ 1 <=> A

A v 0 <=> A

排中律

A v 非A <=> 1

矛盾律

A   ^ 非A <=> 0

蕴含等值式

A —>B <=>非A v B

等价等值式

A<—>B<=>(A—>B) ^ (B—>A)

假言易位

A—>B <=>非B —>非A

等价否定

A<—>B <=>非A <—> 非B

归谬论

（A—>B）^ (A—>非B) <=> 非A

判断公式类型

等值演算法：去掉 —>， <—>

析取范式，合取范式

def1 p为任意命题变量，则p和非p 称为文字。

def2 有限个文字的析取称为析取式

        有限个文字的合取称为合取式

def3 有限个合取式的析取称为析取范式

        （...^...^...）v (...^...^...)v...

        有限个析取式的合取称为合取范式

          (...v...) ^ (...v...) ^ ...

命题常量（元）：不变

命题变量（元）：变

主析取范式，主合取范式

注意：脚标是赋值二进制转换的