命题逻辑等值演算的应用

徐 小萍, 张 金玲
湖北文理学院 数学与统计学院

摘要

命题逻辑的等值演算是命题逻辑的重要组成部分，很多现实问题都可通过命题符号化转化为数理逻辑问题，再利用命题逻辑的等值演算来解决。本文主要探讨了命题逻辑的等值演算在判断命题公式的可满足性、证明两个命题公式等值、推理判断、电路设计和求合取范式中的应用。

关键词

数理逻辑；真值表；命题公式；可满足公式；合取范式

参考

[1]耿素云,屈婉玲,张立昂.离散数学(第三版)[M]．北京：清华大学出版社,2004.

[2]左孝凌,李为鑑,刘永才.离散数学[M]．上海：上海科学技术文献出版社,2002．

[3]梅家斌,何小亚,肖枝洪,戴志勇.离散数学[M]．武汉：华中科技大学出版社,2004.

[4]徐小萍.命题逻辑演绎推理在日常生活中的应用[J].襄樊学院学报,2007,28(11):13-16.

[5]朱大铭,马绍汉,张平平.合取范式3可满足问题的局部搜索近似算法.计算机学报,2010,33(7):1127-1139.