求命题公式 ((p∨q)→r)→p 的主析取范式

年少时光A 1年前 已收到1个回答 举报
赞

丑丑811010 精英

共回答了506个问题采纳率：91.9% 举报

用≡代替＜＝＞.用∟表示“否定”

((p∨q)→r)→p≡∟（（p∨q）→r）∨p≡∟（∟（p∨q）∨r）∨p

≡（（p∨q）∧∟r）∨p≡（p∧∟r）∨（q∧∟r）∨p

≡（p∧q∧∟r）∨（p∧∟q∧∟r）∨（p∧q∧∟r）∨

（∟p∧q∧∟r）∨ （p∧q∧r）∨（p∧q∧∟r）∨（p∧∟q∨r∨（p∧∟q∧∟r）

≡（p∧q∧r）∨（p∧q∧∟r）∨（p∧∟q∧r）

∨（p∧∟q∧r）∨ （∟p∧q∧∟r）.

1年前

9
可能相似的问题

你能帮帮他们吗

精彩回答

Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 0.028 s. - webmaster@yulucn.com