离散数学:用消解法判断下列公式是否是可满足的:(p∨q)∧(p∨┐q)∧(┐p∨r)
1个回答
(p∨q)∧(p∨┐q)∧(┐p∨r)
=[(p∧(p∨┐q))∨q∧(p∨┐q))]∧(┐p∨r)
=[(p∨p∧┐q)∨(q∧p)]∧(┐p∨r)
=(p∨p∧(┐q∨q))∧(┐p∨r)
=p∧(┐p∨r)
=p∧r
相关问题
最新问答： correct the following sentences 关于一道高等代数求X通解的问题设A和B都是N阶方阵,且r(A)+r(B)=n,试求矩阵方程AXB=O的通解. 一个西瓜4刀切开成9块,怎样切法? 用8.2.4.6可以用加减乘除或括号等于24 在我心中,你是无可比拟的,用英语怎么说 一片正方形树林边长200米，这片树林的面积是多少公颂，多少块这样的树林的面积 最少的合数比2\3的比值与比1\8的比值相等,求X 数列{an}（n下标）,a1=8,a4=2,且满足an+2（n+2下标）=2an+1(n+1下标）-an(n下标）.求数 《月迹》 月亮在孩子们心里是怎样的?(请引用原文句子回答） 一般三角函数的化合:asin(wx+A)+bcos(wx+B)的化合公式推导 动点A在圆x 2 +y 2 =1上移动时，它与定点B（3，0）连线的中点的轨迹方程是（ ） A．（x+3） 2 +y 请详细计算不要只有答案,已知圆的半径是15CM,弦PQ//MN,且PQ=18CM,MN=24CM,则已两平行弦为底的梯形 初一数学怎么快速数角(数数的数） 现在分词什么单词可以直接+ing/什么单词要去e+ing/什么单词要双写+ing 已知tana=2.则2sin2a-3sinacosa-2cos2a 盲人怎么看书 在古代欧洲，有过这样一首诗：那时候上面的青天还没有称呼，下面的大地也没有名字，其阿玛特（即海洋）是大家的生母，万物都和水 talk的过去式是什么 《社戏》 第三自然段的两个主要表达方式 下面各组物质中,化学性质不相似的是
