2025年11月17日
03.命题逻辑推理理论
摘要： ![63a6205061e44a1915d91c9a23368a27](https://img2024.cnblogs.com/blog/3711200/202511/3711200-20251117122544027-489124401.jpg) ![29ce9e65a080ba67c2015a8b09742141](https://img2024.cnblogs.com/blog/371120 阅读全文
posted @ 2025-11-17 12:26 ~shy~ 阅读(5) 评论(0) 推荐(0)
2.命题逻辑等值演算
摘要： 一、公式类型： 1.重言式 2.矛盾式 3.可满足式 二、判断公式类型的方法： 1.真值表法 2.等值演算法（核心在于） 用等值演算法证明两个式子是等值的 析取范式、合取范式 可见：一个公式的析取范式与合取范式是不唯一的 主合取范式 主析取范式 求主合取范式、主析取范式 一、真值表法 二、等值演算法 阅读全文
posted @ 2025-11-17 12:19 ~shy~ 阅读(10) 评论(0) 推荐(0)