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）
再用邏輯運算將其化簡為主析取范式，原理參加上篇