等值式(等值联结词)

1、设A、B是两个命题公式,若A、B构成的等价式 A等价于B
为重言式,那么称A与B是等值的
2、常用等值式：

注意：
1 双否定律
2 幂等律
3 交换律
4 结合律
5 吸收律
6 德摩根律
7 同一律
8 零律
9 矛盾律
10 排中律
11 蕴含表达式
12 等值表达式
13 **逆反律**(假言易位)

14 归谬律(反证法)
15 输出律(间接证明法：CP规则)
将蕴含前件作为前提条件去推出蕴含后件

析取范式与合取范式

1、文字：命题变元及其否定
2、短语：有限个文字的合取式
3、子句：有限个文字的析取式

注意：
一个文字既可以看作是一个短语也可以看作是一个子句

4、析取范式：有限个短语(合取式)的析取式
5、合取范式：有限个子句(析取式)的合取式

主析取范式与主合取范式

1、极小项(成真赋值)：

1 是一个简单的**合取式**
2 每个命题变元和它的否定式恰好出现仅出现一次
3 命题变元或它的否定式按照下标从小到大排列

2、极大项(成假赋值)：

1 是一个简单的**析取式**
2 每个命题变元和它的否定式恰好出现仅出现一次
3 命题变元或它的否定式按照下标从小到大排列

3、主析取范式：所有的合取式都是极小项的析取范式

4、主合取范式：所有的析取式都是极大项的合取范式

5、求主析取范式和主合取范式的方法：

1 真值表法
2 等值演算法