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

主析取范式为：(¬p ∨ ¬q) ∨ (¬q ∨ p) 公式类型为条件语句。

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