离散数学求pv(p-q)主析取范式和主合取范式
1个回答
关注
![]()
展开全部
您好！
很高兴为您解答
！您好首先对表达式化简：把其中一部分视为整体A=(q→r)方便化简。因为：p→A=﹁p∨A因为：A=q→r=﹁q∨r所以：﹁p∨(﹁q∨r)由结合律推断得：﹁p∨﹁q∨rstep2：先求主析取设真值完整表达需要三个变量p,q,r示意：M3=二进制100 =p∧﹁q∧﹁r﹁p∨﹁q∨r =M0∨M1∨M2∨M3∨M4∨M5∨M7step3：再求主合取示意：G3=二进制100 = ﹁p∨q∨r剩下只有 G6所以主合取为：(﹁p∨﹁q∨r) ∧ T
很高兴为您解答！您好首先对表达式化简：把其中一部分视为整体A=(q→r)方便化简。因为：p→A=﹁p∨A因为：A=q→r=﹁q∨r所以：﹁p∨(﹁q∨r)由结合律推断得：﹁p∨﹁q∨rstep2：先求主析取设真值完整表达需要三个变量p,q,r示意：M3=二进制100 =p∧﹁q∧﹁r﹁p∨﹁q∨r =M0∨M1∨M2∨M3∨M4∨M5∨M7step3：再求主合取示意：G3=二进制100 = ﹁p∨q∨r剩下只有 G6所以主合取为：(﹁p∨﹁q∨r) ∧ T
咨询记录 · 回答于2022-09-03
离散数学求pv(p-q)主析取范式和主合取范式
您好！很高兴为您解答！您好首先对表达式化简：把其中一部分视为整体A=(q→r)方便化简。因为：p→A=﹁p∨A因为：A=q→r=﹁q∨r所以：﹁p∨(﹁q∨r)由结合律推断得：﹁p∨﹁q∨rstep2：先求主析取设真值完整表达需要三个变量p,q,r示意：M3=二进制100 =p∧﹁q∧﹁r﹁p∨﹁q∨r =M0∨M1∨M2∨M3∨M4∨M5∨M7step3：再求主合取示意：G3=二进制100 = ﹁p∨q∨r剩下只有 G6所以主合取为：(﹁p∨﹁q∨r) ∧ T
很高兴为您解答！您好首先对表达式化简：把其中一部分视为整体A=(q→r)方便化简。因为：p→A=﹁p∨A因为：A=q→r=﹁q∨r所以：﹁p∨(﹁q∨r)由结合律推断得：﹁p∨﹁q∨rstep2：先求主析取设真值完整表达需要三个变量p,q,r示意：M3=二进制100 =p∧﹁q∧﹁r﹁p∨﹁q∨r =M0∨M1∨M2∨M3∨M4∨M5∨M7step3：再求主合取示意：G3=二进制100 = ﹁p∨q∨r剩下只有 G6所以主合取为：(﹁p∨﹁q∨r) ∧ T
备注：如果看到最后答案是﹁p∨﹁q∨r 不要吃惊，其实并没有搞错什么是合取和析取，而是真正的表达形式是(﹁p∨﹁q∨r) ∧ T，把T去掉，就变成了﹁p∨﹁q∨r 初学的时候做过一道题：问p→q的主合取范式，回答﹁p∨q也是这个道理
已赞过
评论
收起
你对这个回答的评价是？
