未分类题
化简命题公式:A∨(¬A∨(B∧¬B)).
【参考答案】
A∨(¬A∨(B∧¬B))=A∨(¬A∨F)
=A∨¬A=T.
点击查看答案
<上一题
目录
下一题>
热门
试题
问答题
问矛盾式、重言式、可满足式、蕴含式中哪一个是重言式的否定式?
点击查看答案
未分类题
指出下列各组命题公式是否等价,并说明理由: (1)A→(B→A),¬A→(A→¬B). (2)Q→(P∨Q),¬Q∧(P∨Q). (3)](A∨(A∧B)),B. (4)¬P∧¬Q,P∨Q.
A.
B.
C.
点击查看答案
相关试题
化简命题公式:((P→Q) class='ask-t...
用真值表证明:合取对析取的分配律.
证明蕴含重言式:((P→Q)∧(Q→R))→...
证明下列公式是重言式:(1)((P→Q)→...
求公式P∧(P→Q)的析取范式和合取范式.