逻辑公式 (p v q)→(q→p) 的主析取范式和公式类型

日期: 2028-12-28
标签: 常规

逻辑公式 (p v q)→(q→p) 的主析取范式和公式类型

公式类型： 条件式。

主析取范式： (¬p v ¬q) v (¬q v p)

原文地址: https://www.cveoy.top/t/topic/nOeg 著作权归作者所有。请勿转载和采集!

免费AI点我,无需注册和登录