求公式(p→q)∨¬p的主析取范式和主合取范式。

1个回答
展开全部
摘要 亲 您好,很高兴为您解答:1、真值表法① 在表中列出变元值的全部可能② 查表判断命题命题结果真,变元值对应主析取范式命题结果假,变元值对应主合取范式2、等值演算法①命题化简蕴涵等值式:A→B ↔ ¬A∨B(作用:去→)矛盾律:A ↔ ∧¬A(作用:补齐变元)分配律:(A∧B)∨C ↔ (A∨C)∧(B∨C)、(A∨B)∧C ↔ (A∧C)∨(B∧C)②判断命题命题结果真,变元值对应主析取范式命题结果假,变元值对应主合取范式
咨询记录 · 回答于2022-10-18
求公式(p→q)∨¬p的主析取范式和主合取范式。
亲 您好,很高兴为您解答:1、真值表法① 在表中列出变元值的全部可能② 查表判断命题命题结果真,变元值对应主析取范式命题结果假,变元值对应主合取范式2、等值演算法①命题化简蕴涵等值式:A→B ↔ ¬A∨B(作用:去→)矛盾律:A ↔ ∧¬A(作用:补齐变元)分配律:(A∧B)∨C ↔ (A∨C)∧(B∨C)、(A∨B)∧C ↔ (A∧C)∨(B∧C)②判断命题命题结果真,变元值对应主析取范式命题结果假,变元值对应主合取范式
判断下列公式是否等值p→(q→r)与(p∧q)→r备注:我需要中间具体的解题过程和正确的答案,不要解析过程!你可以写在纸上拍下来
判断下列公式的类型p∧r∧¬(q→p)
求下列复合命题的真值p:2能整除5 q:旧金山是美国的首都 r:一年有四季(p∨q)→¬r
设S是一个联结词集合,S = {®, Ù} (是/不是)联结词完备集。这个只写答案就行。不用着急。不用着急。
将公式p→(q→r) (是/不是)化成与之等值且仅含{¬,∧}中联结词公式。
求公式(p→q)∨¬p的主析取范式和主合取范式。这是第一个题,需要您重新解答,要一步步的解题过程和正确的答案
亲 您好,很高兴为您解答:因为(P∧Q)→R=﹁(P∧Q)∨R=(﹁P∨﹁Q)∨R=﹁P∨(﹁Q∨R)=P→(Q→ R)所以是等值的
判断下列公式的类型p∧r∧¬(q→p)等价公式
P:2能整除5,q:旧金山是美国的首都,r:在中国一年分四季1((pq)r)(r(p q))2.((qp)(rp))((pq)r解:pq为假命题,r为真命题
设S是一个联结词集合,S = {®, Ù} 是联结词完备集
将公式p→(q→r) (是)化成与之等值且仅含{¬,∧}中联结词公式
亲 您好,很高兴为您解答:(p→q)∧(q→r)= (¬p∨q)∧(¬q∨r) -----------------------------(蕴涵等值式:化简→)= ((¬p∨q)∨(¬r∧r)))∧((¬q∨r)∨(¬p∧p))----(矛盾律:补齐变元)= (¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)∧(p∨¬q∨r)—(分配律:化简)↔M5M4M6M2
亲,您后面发的我这里显示不了哦
已赞过
你对这个回答的评价是?
评论 收起
下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消