摘要
在已知主合(析)取范式时,通过证明,给出求主析(合)取范式的方法:求(1)G(-P1, -P2,…,-Pn);(2)G·(-P1,-P2,…,-Pn);(3)-G·(-P1,-P2,…,-Pn)
this paper is to give a method to solve principal conjunctive (disjunctive) norm form when the principal disjunctive (conjunctive) norm form is known and vice versa, including the following terms :(1)G(-P1,-P2,…,Pn);(2)G*(-P1,-P2,…,-Pn);(3)-G*(-P1,-P2,…,-Pn)
出处
《技术与教育》
2005年第1期16-17,共2页
Technique & Education
关键词
主合取范式
主析取范式
极大项
极小项
对偶
命题公式
代换实例
principal conjunctive norm from
principal disjunctive norm form
maximum term
minimum term
dual
propositional formula
substitution case