离散数学初学者,证明逻辑等价严格证明￢(P↔Q)与(P∧Q)∧￢(P∧Q)等价,期望有具体步骤

题目详情

离散数学初学者,证明逻辑等价
严格证明￢(P↔ Q)与(P∧Q)∧￢(P∧Q)等价,期望有具体步骤

▼优质解答

答案和解析

你给的等价式有错.
￢(P↔Q)
￢((P → Q)∧(Q → P))
￢((￢P ∨ Q)∧(￢Q ∨ P))
￢(￢P ∨ Q) ∨ ￢(￢Q ∨ P)
(￢￢P ∧ ￢Q) ∨ (￢￢Q ∧￢P)
(P ∧ ￢Q) ∨ (Q ∧￢ P)
(P ∨ Q) ∧ (P ∨ ￢P) ∧ (￢Q ∧ Q) ∧ (￢Q ∨ ￢P)
(P ∨ Q) ∧ ￢(P∧Q)

看了离散数学初学者,证明逻辑等价严...的网友还看了以下：

(¬(p→(((¬q)∧r))∨((¬p∨r)∧(q∧s))))(¬(p→(((¬q)∧r))∨( 　2020-06-06 …

已知p^2-p-1=0,1-q-q^2=0,且pq不等于1.则pq+1/q1-q-q^2=0因为q 　2020-06-07 …

关于充要条件的概念.“已知命题p和q,如果p能推出q,那么p是q的充分条件,q是p的必要条件；如果　2020-06-27 …

（2014•临沂一模）已知命题p：若a=（1，2）与b=（-2，λ）共线，则λ=-4；命题q：∀k 　2020-07-12 …

函数求利润的疑惑某厂的总收益函数和总成本函数分别为：R(Q)=18QC(Q)=Q^3-9Q^2+3 　2020-07-16 …

若p是真命题，q是假命题，则（）A．pVq是假命题B．p∧￢q是假命题C．￢pV￢q是真命题D．￢　2020-08-01 …

\已知命题p:若x>y,则-xy,则x2>y2,在命题①p∧q;②p∨q;③p∧(已知命题p：若x 　2020-08-01 …

关于命题p：A∩∅=∅，命题q：A∪∅=A，则下列说法正确的是（）A.（￢p）∨q为假B.（￢p）　2020-08-01 …

离散数学初学者,证明逻辑等价严格证明￢(P↔Q)与(P∧Q)∧￢(P∧Q)等价,期望有具体步骤　2020-11-15 …

已知命题p：∃x∈R，cosx=54；命题q：∀x∈R，x2-x+1＞0．则下列结论正确的是（）A．　2020-12-23 …