如何求解公式'(p∨q)→(q→p)'的主析取范式
首先，我们需要将条件语句转化为合取式的形式：
'(p∨q)→(q→p)' ≡ ¬(p∨q)∨(¬q∨p)
然后，我们将合取式转化为主析取范式：
¬(p∨q)∨(¬q∨p) ≡ (¬p∧¬q)∨(¬q∨p)
因此，'(p∨q)→(q→p)' 的主析取范式为 '(¬p∧¬q)∨(¬q∨p)'。
原文地址: https://www.cveoy.top/t/topic/oP0C 著作权归作者所有。请勿转载和采集!
安全问答是一个知识全球问答,包含丰富的问答知识
首先，我们需要将条件语句转化为合取式的形式：
'(p∨q)→(q→p)' ≡ ¬(p∨q)∨(¬q∨p)
然后，我们将合取式转化为主析取范式：
¬(p∨q)∨(¬q∨p) ≡ (¬p∧¬q)∨(¬q∨p)
因此，'(p∨q)→(q→p)' 的主析取范式为 '(¬p∧¬q)∨(¬q∨p)'。
原文地址: https://www.cveoy.top/t/topic/oP0C 著作权归作者所有。请勿转载和采集!