逻辑公式 (pvq)→(q→p) 的主析取范式和公式类型 日期: 2028-01-29 标签: 常规 主析取范式为：(~p∨q)∨(~q∨p) 公式类型为蕴含式。 原文地址: https://www.cveoy.top/t/topic/oPYk 著作权归作者所有。请勿转载和采集! 免费AI点我,无需注册和登录