Question

﹁(p→q)∧q∧r的主析取主合取范式,以及 成真成假赋值

是离散数学里面的，有人知道吗

Answer 1

我来给你解答吧，希望可以帮助你：

﹁(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
无成真赋值，即本式命题类型为矛盾式。

以上，如有问题请追问我。

Answer 2

引用浦原的猫儿的回答：
我来给你解答吧，希望可以帮助你：

﹁(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
无成真赋值，即本式命题类型为矛盾式。

以上，如有问题请追问我。

您的主析取范式和主合取范式是不是搞反了 兄弟