离散数学,用等值演算法求下列公式的主析取范式 (p→q)^(r→q) 求过程,谢谢!

如题所述

第1个回答  2016-03-28
(p→q)^(r→q)
<=>(┐p∨q)^(┐r∨q)
<=>(┐p^q)∨(┐p^┐r)∨(q∧┐r)
<=>(┐p^q∧(r∨┐r))∨(┐p^(q∨┐q)∧┐r)∨((p∨┐p)∧q∧┐r)
<=>(┐p^q∧r)∨(┐p^q∧┐r)∨(┐p^┐q∧┐r)∨(p∧q∧┐r)追问

我教科书里的答案是:m000 V m001 V m100 V m110 V m111
但按你的答案的话只有四种诶.....还少了m111了...

追答

答案错了

追问

但是用真值表计算此题,确实还有个m111诶.........

追答

用等值演算法求下列公式的主析取范式

追问

好吧

追答

你用真值表算出来看看?

相似回答