┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
证明┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
已知命题p 命题q 那么pVq p^q p∧┐q (┐p∧q pV┐P
(p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式.
化简下式命题公式((P∧Q)∨(『P∧『Q) ∧P)
设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
((p∧┐q)∨q)∧((p∧┐q)∨┐p)是怎么变成(p∨q)∧(┐q∨┐p)的?
离散数学证明等值式:(p∧┐q)∨(┐p∧q)(p∨q)∧┐(p∧q)
离散数学的:证明:((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
(P→(Q∨┐R))∧┐P∧Q
命题p是命题q的必要条件 命题q是命题p的必要条件,那么命题pq是否为充要条件
P且Q为真,P或Q为假(PQ都为某命题)这个数学条件做题时怎麽用?