做出命题公式(Pv(-P→(Qv(-Q→R))))的真值表,并求出其主析取范式或主合取范式。
来源:蜘蛛抓取(WebSpider)
时间:2022-06-04 07:36
标签:
Q与P的关系
用等值演算法求公式┐(p→q)的主析取范式和主合取范式。... 用等值演算法求公式┐(p→q)的主析取范式和主合取范式。
如果两个公式A与B含有相同的命题变元,如果在所有指派下,A与B的真值都相同,则说明这两个公式是等值的。等值演算法是利用已知的等值式通过代换得到新的等值式。
判断两个公式是否等值,最直接的方法就是用真值表法,判断A与B是否在所有指派下同真值,或者判断A等价B是否是重言式。但是当命题变元较多的是时候,真值表法判断公式等值的工作量是很大的。这时,等值演算法的强大功能就凸显出来了。
下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
共回答了403个问题采纳率:90.1%
可以用真值表求.根据蕴含式A→B的真值的情形,
只有A真B假时才为假,所以(P∨Q)→(R∨Q) 成假
只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,
对应的极大项是M4,所以主合取范式是M4,
那么主析取范式就是m0∨m1∨m2∨m3∨m5∨m6∨m7