早教吧作业答案频道 -->数学-->
证明(p∧¬q)∨(¬p∧q)⇔(p∨q)∧¬(p∧q)?
题目详情
证明(p∧¬q)∨(¬p∧q) ⇔ (p∨q)∧¬(p∧q)?
▼优质解答
答案和解析
2种方法
1.图表法,你把所有表达式的真值情况全都列出,这个比较麻烦,但是很直观
2. 恒等法
(p∧¬q)∨(¬p∧q)
=[(p∧¬q)∨¬p]∧[(p∧¬q)∨q] ------- Distributive laws
=[(p∨¬p)∧(¬q∨¬p)]∧[(p∨q)∧(¬q∨q)] ------ Distributive laws
=[T∧(¬q∨¬p)]∧[(p∨q)∧T] ------ Negation laws
=(¬q∨¬p)∧(p∨q) ------- Identity laws
=(p∨q)∧(¬q∨¬p) ------ Commutative laws
=(p∨q)∧¬(p∧q) ------- De Morgan's laws
1.图表法,你把所有表达式的真值情况全都列出,这个比较麻烦,但是很直观
2. 恒等法
(p∧¬q)∨(¬p∧q)
=[(p∧¬q)∨¬p]∧[(p∧¬q)∨q] ------- Distributive laws
=[(p∨¬p)∧(¬q∨¬p)]∧[(p∨q)∧(¬q∨q)] ------ Distributive laws
=[T∧(¬q∨¬p)]∧[(p∨q)∧T] ------ Negation laws
=(¬q∨¬p)∧(p∨q) ------- Identity laws
=(p∨q)∧(¬q∨¬p) ------ Commutative laws
=(p∨q)∧¬(p∧q) ------- De Morgan's laws
看了 证明(p∧¬q)∨...的网友还看了以下：
极值证明题f(x)=x^p(1-x)^q,p和q都是整数,大于或等于2.1.)证明当q是偶数时,f的 2020-03-31 …
求证:√2不是有理数?假设√2是有理数则√2可以写成一个最简分数假设是p/q=√2,p和q互质平方 2020-04-09 …
证明(p∧¬q)∨(¬p∧q)⇔(p∨q)∧¬(p∧q) 2020-05-17 …
一道高二数列数列｛AN}的前N项和为SN,若｛SN｝是首项为S1,各项均为正数且公比为Q的等比数列 2020-06-03 …
用数学归纳法证明(1+q)(1+q^2)(1+q^4)...[1+q^(2n)]=[1-q^(2n 2020-06-08 …
在数列{an}中，a1=1，a2=2，且an+1=（1+q）an-qan-1（n≥2，q≠0）．（ 2020-06-12 …
一道有关虚数的题目（证明题）以下的证明过程出什么差错了?p和q是两个不等于0的实数.p=qp=qp 2020-07-15 …
（1）若方程x2+2px-q=0（p，q是实数）没有实数根，求证：p+q＜14；（2）试写出上述命 2020-08-02 …
着急、数学集合!已知集合A={a+b√2|a∈Q,b∈Q},m∈A,n∈A求证:m*n∈A已知集合A 2020-12-19 …
已知函数y=-ax^2+bx+c的图像过点P(-1,2)和Q(2,4)(1)证明：无论a为任何已知函 2020-12-23 …