问答题
计算题 给出公式每一对简单析取式的消解结果:C
1
=p∨¬q∨r,C
2
=¬p∨r∨s。
【参考答案】
点击查看答案
<上一题
目录
下一题>
热门
试题
问答题
给出公式每一对简单析取式的消解结果:C1=¬p∨q∨¬r,C2=p∨¬r∨s。
点击查看答案
问答题
将公式E=p∧¬q化成S5={↓}上的公式。
点击查看答案
相关试题
对任意集合A,B 和C,试证明A×(B∪C)=...
求¬P∨(Q∧R)的合取范式与主合取范式。
设图G=,V={v1,v2,v3,v4},E=...
设关系R的关系图如下,试(1)写出R的关系...
设个体域D={1,2,3,4},则谓词公...