离散数学复习

1.联接词优先级：（）-> 非->合取->析取->蕴含->双重蕴含

2.等价关系<=>自反性，对称性，传递性

3.命题逻辑公式的性质：

     1）对偶  A的对偶为A* 定义为：分别替换A中的析取，合取，0，1为合取，析取，1，0，则得到A*

               有性质：① -(A*) = (-A)*    (取非不参与对偶性质变化）

                             ②(A*)* <=>A         (可用数学归纳法证明  结合联接词完备集{非，合取，析取})

                             ③（A 合取 B）* <=> (A* 析取 B*)

     2）设公式A中出现的所有原子命题变量为p1,p2,,,,,pn,将A记为A（p1,p2,,,,,pn),若A(P1,P2,,,,Pn)与A*(P1,P2,,,,,Pn)互为对偶，则有：

                              ①-A(p1,p2,,,,pn) <=> A*(-P1,-P2,,,,-Pn)

                              ② A(-P1,-P2,,,,,,-Pn) <=> -A*(p1,p2,,,,,pn)                 (这两个也同样均可以使用数学归纳法证明）

-----------------------------------------------后续更新