一些命题逻辑的Groebner基算法

Groebner Basis Algorithm for Some Propositional Logic

介绍了一种得到命题结论的新方法,即通过把逻辑命题的项转化成相应的多项式,然后计算Groebner基,从而得到命题的结论.

This paper introduces a new approach to propositional conclusion, that is, to obtain the conclusion of the proposition by transforming the propositional logic item into the corresponding polynomials and calculating the Groebner basis.