主范式求法探索

Exploration of Solution to Principal Norm Form

在已知主合(析)取范式时,通过证明,给出求主析(合)取范式的方法:求(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)