作业帮 > 数学 > 作业

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

来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/11/11 16:33:36
离散 书上习题 求主析取范式的 就我画出来的地方是怎么出来的啊看不懂.
第一道 为啥pvq出来是主合取范式.不是很理解望指导啊
离散 书上习题 求主析取范式的 就我画出来的地方是怎么出来的啊看不懂.

注意其中的n≥1,而PVQ是由命题变元组成的析取式,满足上述定义条件,故PVQ是合取范式;而它本身就是大项,故PVQ是主合取范式.不懂再问,
再问: 我画蓝线的地方我算不到啊求过程!
再答: ﹁(﹁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).