析取合取

v析取符号

∧合取符号

简单析取式：AVBVCVD

                即只有v和¬两种符号存在

析取范式：有限个简单合取式组成的析取范式

极小项：如p q等的变量只出现一次的合取式

主析取范式：eg：有p q r三个变量，由其极小项组成的析取式

                        如（p∧q∧r）v（......）......

真值表法求主析取范式：如p∧qvr

               p  q  r   p∧qvr

               0  0  0      0

               0   0  1      1

               ................

        取最后一个式为1的表达式 析取

如第二行，为¬p∧¬q∧r为表达式，所有最后一个为1的表达式的析取就式所要的答案

等值演算法求主析取范式：

        如p∧qvr 

     可化成（p∧q∧（r v¬r））v（（pv¬p）∧（q v¬q）∧r）

      再用逻辑运算将其化简为主析取范式，原理参加上篇