((p∧┐q)∨q)∧((p∧┐q)∨┐p)是怎么变成(p∨q)∧(┐q∨┐p)的?
((p∧┐q)∨q)∧((p∧┐q)∨┐p)是怎么变成(p∨q)∧(┐q∨┐p)的?
┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
证明┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
离散数学证明等值式:(p∧┐q)∨(┐p∧q)(p∨q)∧┐(p∧q)
已知命题p 命题q 那么pVq p^q p∧┐q (┐p∧q pV┐P
急求!┐(P∧Q)→(P∨Q) 主析取范式 详细的!
┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明
数理逻辑((p∧┐q)∨(q∧r))∨r∨p如何计算?
(P→(Q∨┐R))∧┐P∧Q
p∧q 和 p∨q 各代表什么
(p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式.
证明 P∧Q→R,┐R∨S,┐S => ┐P∨┐Q .