离散数学，用等值演算法求下列公式的主析取范式 （p→q）^（r→q） 求过程，谢谢！

Question

如题所述

Answer 1

（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诶.........

追答

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

追问

好吧

追答

你用真值表算出来看看？