公式'(p v q) → (q → p)'的主析取范式与类型分析
公式'(p v q) → (q → p)'的主析取范式为 (~p v q) ∧ (~q v p)。公式类型为条件式。
原文地址: http://www.cveoy.top/t/topic/nOeH 著作权归作者所有。请勿转载和采集!
安全问答是一个知识全球问答,包含丰富的问答知识
公式'(p v q) → (q → p)'的主析取范式为 (~p v q) ∧ (~q v p)。公式类型为条件式。
原文地址: http://www.cveoy.top/t/topic/nOeH 著作权归作者所有。请勿转载和采集!