1.用主析取范式判断命题公式是否等价.

1.用主析取范式判断命题公式是否等价.
例如:
(1) G = (P∧Q)∨(ØP∧Q∧R)
(2) H = (P∨(Q∧R))∧(Q∨(ØP∧R))
蝶碟恋花 1年前 已收到1个回答 举报

jcl11111 幼苗

共回答了19个问题采纳率:78.9% 举报

由于
G = (P∧Q)∨(┐P∧Q∧R)
(P∧Q∧R)∨(P∧Q∧┐R)∨(┐P∧Q∧R)
m7∨m6∨m3,
H = (P∨(Q∧R))∧(Q∨(┐P∧R))
(P∧Q)∨((Q∧R)∧Q)∨(P∧(┐P∧R))∨((Q∧R)∧(┐P∧R))
(P∧Q)∨(Q∧R)∨0∨(┐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)
m7∨m6∨m3
得知
G H

1年前

8
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 0.035 s. - webmaster@yulucn.com