P→(P∧(Q→P))的主析取范式和主合取范式

用≡代替＜＝＞.用∟表示“否定”((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∧∟

D

(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就是┐,不方便打那个符号