离散 书上习题 求主析取范式的 就我画出来的地方是怎么出来的啊看不懂.

离散 书上习题 求主析取范式的 就我画出来的地方是怎么出来的啊看不懂.
第一道 为啥pvq出来是主合取范式.不是很理解望指导啊
xnlovesj 1年前 已收到1个回答 举报
赞

极道uu 幼苗

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


注意其中的n≥1,而PVQ是由命题变元组成的析取式,满足上述定义条件,故PVQ是合取范式；而它本身就是大项,故PVQ是主合取范式.不懂再问,

1年前 追问

6

xnlovesj 举报

我画蓝线的地方我算不到啊求过程！

举报 极道uu

﹁(﹁P∨﹁Q)〈=〉P∧Q P↔﹁Q〈=〉(P→﹁Q)∧(﹁Q→P)〈=〉(﹁P∨﹁Q)∧(Q∨P) 〈=〉(﹁P∧(Q∨P))∨(﹁Q∧(Q∨P))〈=〉(﹁P∧Q)∨(﹁P∧P)∨(﹁Q∧Q)∨(﹁Q∧P) 〈=〉(﹁P∧Q)∨F∨F∨(﹁Q∧P)〈=〉(P∧﹁Q)∨(﹁P∧Q) 上面两式∨一下就有 ﹁(﹁P∨﹁Q)∨(P↔﹁Q)〈=〉(P∧Q)∨(P∧﹁Q)∨(﹁P∧Q).
可能相似的问题

你能帮帮他们吗

精彩回答

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