命题逻辑等值演算的应用

智研平台会员

登录机构账号

复制成功

设置

万方会员

暂未开通会员

开通即享超值福利、会员权益
优质内容推荐

简繁

搜索

DOI: 10.12361/2705-0866-07-08-174422

命题逻辑等值演算的应用

徐小萍, 张金玲

湖北文理学院数学与统计学院

全文直达

引用

收藏

打印

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

关键词：

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

Universe Scientific Publishing

ISSN：2705-0912

年,卷(期)：2025,7(8)

x