p→((p∧q)∨(p∧¬q))主析取范式为:
来源:学生作业帮助网 编辑:作业帮 时间:2024/11/13 14:29:13
该等式不成立,应该是┐(P∨Q→┐R)=(P∨Q)∧RP∨Q→┐R=(┐(P∨Q)∧R)∨(┐(P∨Q)∧┐R)∨((P∨Q)∨┐R)故┐(P∨Q→┐R)=(P∨Q)∧R此外如果不熟练最好用真值表证明
┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式不明白本题问的是什么?是将(P∧┐Q)∨(┐P∧Q)转换成┐(P----Q)形式吗?根据逻辑函数的反演律(P∧┐Q)∨(┐P∧Q)=┐(
别再在网上搜答案了你还是自己看书好好做吧
(p→q)∧(q→r)=(~p∨q)∧(~q∨r)=(~p∧(~q∨r))∨(q∧(~q∨r))=((~p∧~q)∨(~p∧r))∨((q∧~q)∨(q∧r))=(~p∧~q)∨(~p∧r)∨(0)∨
┐(┐(┐P∨(Q∨┐R))∨P∨┐Q)=┐(P∨┐Q)
p∧qp且qpvqp或q
:((p∧┐q)∨q)∧((p∧┐q)∨┐p)=((p∨q)∧(┐q∨q))∧((p∨┐p)∧(┐q∨┐p))=(p∨q)∧(┐q∨┐p))其中(┐q∨q)(p∨┐p)都为1
方法1.这是含有两个变元的公式,得用真值表十分方便:pqp∨qp→q((p∨q)∧(p→q))q→p((p∨q)∧(p→q))↔(q→p)TTTTTTTTFTFFTFFTTTTFFFFFT
V:或^:且┐:非
(p∧┐q)∨(┐p∧q)(p∨(┐p∧q))∧(┐q∨(┐p∧q))(p∨┐p)∧(p∨q)∧(┐q∨┐p)∧(┐q∨q)(p∨q)∧(┐q∨┐p)(p∨q)∧┐(p∧q)
=(2p²-pq+4pq-2q²)-(p²-q²)=p²+3pq-q²
∵AC=BC,∴∠CAB=∠CBA,∵ΔBDC与ΔACE都是等边三角形,∴∠CAE=∠CBD=60°,∴∠CAB-∠CAE=∠CBA-∠ABD,即∠FAB=∠FBA,∴FA=FB,∴C、F都在线段AB
previousquestion先决问题
=(P∧Q)∨(P∨Q)=(P∧Q)∨(P∧(┐Q∨Q))∨(Q∧(┐P∨P))=(P∧Q)∨(P∧┐Q)∨(Q∧┐P)
(p→~r)∨(q→~r)p∨~r)∨(~q∨~r)p∨~q)∨~r(p∧q)∨~r(p∧q)→~r翻译成英语句子就是:Ifyouhavethefluandmissthe\x0cfinalexamin
(p→q)∧(q→p)(非p∨q)∧(非q∨p)蕴涵等值式(非p∧非q)∨(非p∧p)∨(q∧非q)∨(q∧p)分配律(非p∧非q)∨(p∧q)矛盾律同一律交换律非(p∨q)∨(p∧q)德摩根律(p∨
(1)—pv(p^q)(2)(—pvp)^(—pvq)(3)p—>q
(P→Q)∧(R→Q)P∨Q)∧(~R∨Q)P∧~R)∨Q(P∨R)∨Q(P∨R)→Q就是┐,不方便打那个符号
6p{(p+q)(p+q)}-4q(p+q)=2(p+q)[3p(p+q)-2q]=2(p+q)(3p²++3pq-2q)
((P∧Q)∨(『P∧『Q)∧P)=(P∧Q)∨((P∧Q)∧P=P((P∧Q)∨(P∧Q)恒为真)