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）
再用逻辑运算将其化简为主析取范式，原理参加上篇