1. 首页首页
  2. 科技前沿科技前沿

【离散数学】第一章：逻辑和证明-命题等价式

科技前沿 • • 阅读 35

【离散数学】第一章：逻辑和证明-命题等价式1 3 命题等价式 1 3 1 逻辑等价式 1 3 2 条件命题和双条件命题的逻辑等价式 1 3 3 德 摩根律 1 3 4 可满足性 可满足的 不可满足的 可满足性问题的解 1 3 5 析取范式 基本积之和 合取范式 基本和之积 1 3 6 合式公式 1 定义 2 等价转换成主析

大家好，我是讯享网，很高兴认识大家。


讯享网

1.3 命题等价式

  • 1.3.1 逻辑等价式
  • 1.3.2 条件命题和双条件命题的逻辑等价式
  • 1.3.3 德·摩根律
  • 1.3.4 可满足性
    • 可满足的
    • 不可满足的
    • 可满足性问题的解
  • 1.3.5析取范式（基本积之和），合取范式（基本和之积）
  • 1.3.6合式公式
    • 1.定义
    • 2.等价转换成主析（合）取范式
小讯
上一篇 2025-03-21 10:17
下一篇 2025-03-08 22:11

相关推荐

版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/62697.html