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

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

我来给你解答吧,希望可以帮助你:

﹁(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
您的主析取范式和主合取范式是不是搞反了 兄弟
相似回答