命题公式的特异合析范式名词解释：一种特殊的合析范式.指根据一个命题公式的特异成假指派集做出的合析范式.设α=(p→q)∧r.其特异成假指派集为{(T,T,F),(T,F,T),(T,F,F),(F,T,F),(F,F,F)}.由此集做出一范式α′=β1∧β2∧β3∧β4∧β5,其中β1,β2,β3,β4,β5为分别对应于该特异成假指派集中各指派的简单析取式.做出这些简单析取式的规律是名词解释：若指派变元S以T,则对应的简单析取式含有S,否则含有S.根据此规律,便得到α′=(p∨q∨r)∧(p∨q∨r)∧(p∨q∨r)∧(p∨q∨r)∧(p∨q∨r).α′为α的特异合析范式.
