计算机工程与科学2008，Vol.30Issue(10)：78-81,84,5.
命题逻辑推理的代数化证明
The Algebraic Proof of Proposition Deduction
摘要
关键词
真值函数/赋值/多项式/命题公式分类
信息技术与安全科学引用本文复制引用
王礼萍,张树功..命题逻辑推理的代数化证明[J].计算机工程与科学,2008,30(10):78-81,84,5.基金项目
哈尔滨学院学科发展基金资助项目(HXK200717) （HXK200717）
哈尔滨学院学科发展基金资助项目(HXK200717) （HXK200717）
