手机版 English 帮助中心
外文文献知网节
文献信息节点
基本信息 摘要 关键词 核心评价 相关文献
Journal | [J] 教育教学 Volume 7, Issue 8. 2025.
命题逻辑等值演算的应用
作者 : 徐 小萍, 张 金玲
DOI: 10.12361/2705-0866-07-08-174422
全部来源
获取全文
摘要 / Abstract
命题逻辑的等值演算是命题逻辑的重要组成部分，很多现实问题都可通过命题符号化转化为数理逻辑问题，再利用命题逻辑的等值演算来解决。本文主要探讨了命题逻辑的等值演算在判断命题公式的可满足性、证明两个命题公式等值、推理判断、电路设计和求合取范式中的应用。
关键词 / Keywords
数理逻辑；真值表；命题公式；可满足公式；合取范式
Related articles / 相关文献
相似文献
作者发文
机构发文
关键词分析
相似文献（说明：与本文内容较接近的文献）
  • [1]耿素云,屈婉玲,张立昂.离散数学(第三版)[M]．北京：清华大学出版社,2004.
  • [2]左孝凌,李为鑑,刘永才.离散数学[M]．上海：上海科学技术文献出版社,2002．
  • [3]梅家斌,何小亚,肖枝洪,戴志勇.离散数学[M]．武汉：华中科技大学出版社,2004.
  • [4]徐小萍.命题逻辑演绎推理在日常生活中的应用[J].襄樊学院学报,2007,28(11):13-16.
  • [5]朱大铭,马绍汉,张平平.合取范式3可满足问题的局部搜索近似算法.计算机学报,2010,33(7):1127-1139.
《中国学术期刊(光盘版)》电子杂志社有限公司 KDN平台基础技术由KBASE 11.0提供
© 2014-2018中国知网(CNKI) 京公网安备11010802020460号 经营性网站备案信息 互联网出版许可证 新出网证(京)字271号 京ICP证040431号