证明:(p→q)∧(q→p)<=>(p∨q)→(q∧p),其中p,q都是命题公式.
(p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式.
证明┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
(P→Q)∧(R→Q)<=>(P∨R)→Q
┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
离散数学的:证明:((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
化简下式命题公式((P∧Q)∨(『P∧『Q) ∧P)
用“p→q=~p∨q”证明:(p→q)∧(q→r)=> p→r
试证明:P→Q=〉P→(P∧Q).
离散数学试证明 p→q => p→(p∧q)
用等值演算或真值表证明公式(p→q)∧(p→r)<=>p→(q∧r)
已知命题p 命题q 那么pVq p^q p∧┐q (┐p∧q pV┐P
求命题公式(p∨(q∧r))→(p∧q∧r)的主析取范式 急