主析取范式在給定的命題公式中,如果有一個等價公式,它僅由小項的析取所組成,則該等價式稱作原式的主析取范式.
主析取范式的惟一性任意含n個命題變元的非永假命題公式A,其主析取范式是惟一的.
主合取范式的惟一性任意含n個命題變元的非永真命題公式A,其主合取范式是惟一的.
真值表的主范式求法
（1） （1） 在真值表中,一個公式的真值為T的指派所對應的小項的析取,即為此公式主析取范式.
（2） （2） 在真值表中,一個公式的真值為F的指派所對應的大項的合取,即為此公式主合取范式.
主范式的等值演算法
對于一個給定n個變元的命題公式A,都可通過等值變換,化為惟一的主析取范式或主合取范式.
主范式之間的關(guān)系
設(shè)命題公式中含有n個命題變元,且A的主析取范式中含有k個小項 ,則A的主合取范式必含有 個大項.
如果命題公式A的主析取范式為： 則A的主合取范式為：
從n個命題變元的公式A的主析取范式,求合取范式的步驟：
（1） （1） 求出A的主析取范式中未包含小項的.
（2） （2） 把（1）中求出的“下標”寫成對應大項；
（3） （3） 把（2）中寫成的大項合取,即為A的主合取范式.
可以參考
http://www.ezikao.com.cn/bbs_disp_all.asp?id=34725&boardid=52