P→(P∧(Q→P))的主析取范式和主合取范式
来源:学生作业帮助网 编辑:作业帮 时间:2024/08/24 18:25:04
用≡代替<=>.用∟表示“否定”((p∨q)→r)→p≡∟((p∨q)→r)∨p≡∟(∟(p∨q)∨r)∨p≡((p∨q)∧∟r)∨p≡(p∧∟r)∨(q∧∟r)∨p≡(p∧q∧∟r)∨(p∧∟q∧∟
(p∨(q∧r))→(p∧q∧r)﹁(p∨(q∧r))∨(p∧q∧r)(﹁p∧﹁(q∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁r)∨(p∧q∧r)((﹁
1、P→((Q→P)∧(┐P∧Q))=┐PV((Q→P)∧(┐P∧Q))==┐PV((┐QVP)∧(┐P∧Q))=┐PV((┐Q∧(┐P∧Q))V(P∧(┐P∧Q)))=┐P=(┐P∧┐Q)V(┐P∧
答:┐(┐R→P)∧P∧Q=┐(┐┐RVP)∧P∧Q=┐R∧┐P∧P∧Q=0所以,原式的主析取范式为0主合取范式为:(┐PV┐QV┐R)∧(┐PV┐QVR)∧(┐PVQV┐R)∧(┐PVQVR)∧(P
极小项、极大项中变元的顺序按照字母顺序从前到后,若有下标,按下标从小到大.你的答案是错误的,主析取范式是m1∨m2∨m3,主合取范式是M1.方法一是用真值表求主析取范式,找到成真赋值01,10,11,
(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)∨
方法1.这是含有两个变元的公式,得用真值表十分方便:pqp∨qp→q((p∨q)∧(p→q))q→p((p∨q)∧(p→q))↔(q→p)TTTTTTTTFTFFTFFTTTTFFFFFT
P∧(P→Q)=Q所以析取范式和合取范式都为Q再问:能详细点么?再答:错了,那不是—>,不是公式:P→Q非PVQ所以:P∧(P→Q)=P∧(非PVQ)=(P∧非P)V(P∧Q)=0V(P∧Q)=P∧Q
这个公式是永假式,主析取范式为0
∵AC=BC,∴∠CAB=∠CBA,∵ΔBDC与ΔACE都是等边三角形,∴∠CAE=∠CBD=60°,∴∠CAB-∠CAE=∠CBA-∠ABD,即∠FAB=∠FBA,∴FA=FB,∴C、F都在线段AB
P→(P^(Q→P))=┐PV(P^(┐QVP))=┐PV((P^┐Q)V(P^P))=┐PV((P^┐Q)VP)=┐PV(P^┐Q)VP=┐PVP=1最后结果说明该式是重言式.(可能数学符号用的不是
m²(p-q)-p+q=m²(p-q)-(p-q)=(m²-1)(p-q)=(m+1)(m-1)(p-q)
=(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
(Q→P)∧(┓P∧Q)(┓Q∨P)∧(┓P∧Q)((┓Q∨P)∧┓P)∧((┓Q∨P)∧Q)((┓Q∧┓P)∨(P∧┓P))∧((┓Q∧Q)∨(P∧Q))((┓Q∧┓P)∨F)∧(F∨(P∧Q))(
(P→Q)∧(R→Q)P∨Q)∧(~R∨Q)P∧~R)∨Q(P∨R)∨Q(P∨R)→Q就是┐,不方便打那个符号