我来给你解答吧，希望可以帮助你：
﹁(p→q)∧q∧r
↔ ﹁（﹁p∨q）∧q∧r （蕴涵等值式）
↔ （p∧﹁q）∧q∧r （负号放进括号：真变假，假变真，并变与，与变并）
↔ p∧﹁q∧q∧r （去括号）
↔ p∧（﹁q∧q）∧r （结合律）
↔ p∧0∧r （矛盾律）
↔ 0 （零律）
∴ 其主析取范式为：0
主合取范式为：M0∧M1∧M2∧M3∧M4∧M5∧M6∧M7
↔ ∏（0,1,2,3,4,5,6,7） （主合取范式表示成上下两种形式都对） 成假赋值为： 000,001,010,011,100,101,110,111
无成真赋值，即本式命题类型为矛盾式。
以上，如有问题请追问我。
﹁(p→q)∧q∧r
↔ ﹁（﹁p∨q）∧q∧r （蕴涵等值式）
↔ （p∧﹁q）∧q∧r （负号放进括号：真变假，假变真，并变与，与变并）
↔ p∧﹁q∧q∧r （去括号）
↔ p∧（﹁q∧q）∧r （结合律）
↔ p∧0∧r （矛盾律）
↔ 0 （零律）
∴ 其主析取范式为：0
主合取范式为：M0∧M1∧M2∧M3∧M4∧M5∧M6∧M7
↔ ∏（0,1,2,3,4,5,6,7） （主合取范式表示成上下两种形式都对） 成假赋值为： 000,001,010,011,100,101,110,111
无成真赋值，即本式命题类型为矛盾式。
以上，如有问题请追问我。
温馨提示：内容为网友见解，仅供参考
第1个回答 2017-12-29
您的主析取范式和主合取范式是不是搞反了 兄弟
相似回答
