证明等价公式(P∧┓Q)∨(┓P∧Q)<=>(P ∨Q)∧┓(P ∧Q)

证明等价公式(P∧┓Q)∨(┓P∧Q)<=>(P ∨Q)∧┓(P ∧Q)
=[(P∨┓P)∧(┓Q∨┓P)]∧[(P∨Q)∧(┓Q∨Q)]= (P ∨Q)∧┓(P ∧Q)

逻辑学中六个负命题的等值推理怎么记忆
比如：联言命题（p∧q）为假有三种情况：p假、q假、pq均假，那么（p∧q）的负命题就要涵盖使之为假的三种情况，很显然（┓p∨┓q）就是负命题的等值推理结果。再如：充分条件假言命题（p→q）为假只有一种情况：前件真而后件假，那么（p→q）的负命题就是前件真而后件假，所以（p→q）的...

离散数学:求公式(Q→P)∧(┓P∧Q)的主合取范式
<=>(┓Q∧┓P)∧（P∧Q)

用等值演算求下面公式的主析取范式 (﹁p→Q)→(﹁Q V P)
所以，主析取范式为（┓P∧┓Q）V(P∧┓Q)V(P∧Q)

求公式(Q→P)∧(┓P∧Q)的主合取范式
（Q→P）∧（┓P∧Q）<=>(┓Q∨P)∧（┓P∧Q）<=>((┓Q∨P)∧┓P)∧((┓Q∨P)∧Q)<=>((┓Q∧┓P)∨(P∧┓P))∧((┓Q∧Q)∨（P∧Q)）<=>((┓Q∧┓P)∨F)∧(F∨（P∧Q)）<=>(┓Q∧┓P)∧（P∧Q)

...恒为真的是( )。 A.P∨(┓P∧Q)∨(┓P∧┓Q) B.Q∨(┓P∧Q)∨(P...
如果恒为真 则必定有 pV ┓p 或 ┓Q V Q的间接出现。所谓间接出现指的是不同的表达形式：（已p为例）┓p = ┓p V 0 (0代表假）0 = Q ∧ ┓Q ┓p = ┓p V (Q ∧ ┓Q) = (┓p ∧ Q) V (p ∧ ┓Q)又因为 ┓p V p 恒为真 所以 P∨（┓P∧Q）∨(...

P∨(┓P∧Q)∨(┓P∧┓Q)当中这些符号是什么意思啊
∨:and ┓:not ∧:or p:yes q:false 逻辑运算

大一逻辑学题目!真值表之类的!!!求学霸解答!!!
真值表如下：p q ┓p ┓q p←q p→q ┓p∧q p∧┓q 真 真 假 假 真 真 假 假 真 假 假 真 真 假 假 真 假 真 真 假 假 真 真 假 假 假 真 真 真 真 假 假 可见，“只有搞好四化建设，人民生活才能提高”与“只要搞好四化建设，人民生活就会提高”之间是可以同真，不能同...

离散数学求(p→q)↔r 的主析取范式。公式分解
v (r∧q)<=>(p∧┓q ∧┓r) v ((r∧┓p)∧(q v ┓q )) v ((r∧q) ∧(p v ┓p ))<=>(p∧┓q ∧┓r) v (┓p∧q ∧r) v (┓p∧┓q∧r) v (p∧q∧r) v(┓p∧q∧r)<=>(p∧┓q ∧┓r) v (┓p∧q ∧r) v (┓p∧┓q∧r) v (p∧q∧r)...

(┓p→q)→(┓qvp)的析,合取范式怎么求,不列真值表
其实列真值表是最方便的。(┓p→q)=p∨q (┓p→q)→(┓q∨p)=(┓(┓p→q))∨(┓q∨p)=(┓(p∨q))∨(┓q∨p)=(┓p∧┓q)∨p∨┓q =┓q∨p∨┓q =p∨┓q 析取范式p∨┓q 合取范式p∨┓q=(p∨┓q)∧(p∨q)∧(┓p∨┓q)