求主析取范式（P→非Q）→R

xahoo 1年前 已收到2个回答 举报
赞

瞬间的爱 幼苗

共回答了19个问题采纳率：89.5% 举报

( 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)∨( ┐P∧┐Q∧R)

1年前 追问

5

xahoo 举报

由第二行到第三行跳得太快了，有点看不懂。可以再细写一点吗？麻烦了。

举报 瞬间的爱

( ┐P∧┐Q)等值于( P∧Q∧R)∨(P∧Q∧┐R) R等值于 ( P∧Q∧R)∨(┐ P∧Q∧R)∨( P∧┐Q∧R)∨( ┐P∧┐Q∧R)

xahoo 举报

明白了，谢谢！

gemshilei 花朵

共回答了644个问题 举报

(P→┐Q)→R
<==> ┐( ┐P∨┐Q)∨R
<==> ( P∧Q)∨R
其中，
P∧Q <==> (P∧Q)∧1 <==> (P∧Q)∧(R∨┐R) <==> (P∧Q∧R)∨(P∧Q∧┐R)。
R <==> 1∧1∧R <==> (P∨┐P)∧(Q∨┐Q)∧R <==> (P∧Q∧R)∨(P∧┐Q∧R)∨(┐P∧Q∧R)∨(┐P∧┐Q∧R)。...

1年前

0
可能相似的问题

你能帮帮他们吗

精彩回答

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