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