作业帮命题公式G＝P→(Q→R)则公式G的合取范式是
来源：学生作业帮助网 编辑：作业帮 时间：2024/04/29 08:27:05
用≡代替＜＝＞.用∟表示“否定”((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)((﹁
先算主析取范式：(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
PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为（-P∧-Q∧-R）V(
qpr￢pqÙ￢p(qÙ￢p)®r111001110001101111100110011001010001001101000101真值表显示(q∧┑p)→r是矛盾式
AP→Q等值于¬PvQ,再用德摩根律,得P＾¬Q,这是组成析取范式的一个简单合取式
可以用真值表求.根据蕴含式A→B的真值的情形,只有A真B假时才为假,所以(P∨Q)→(R∨Q)成假只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,对应的极大项是M4,所以主合取范式
题目错了,照这个题目证明只能得到s.如果结论是s才可能被证明.
-p∨(q→r)-p∨(-q∨r)-p∨-q∨r-(p∧q)∨r(p∧q)→
（p→q)∧(p→r)=（非p∨q)∧(非p∨r)=非p∨(q∧r)=p→(q∧r)
2、能够对命题公式的类型做出判断,能列出真值表,写出主范式.3、有能力命题的
主析取：m1vm3vm5vm6vm7主合取：M0^M2^M4可以用真值表法或是等值演算法.
右边：(R∧(P→Q))→S⇔┐(R∧(┐P∨Q))∨S⇔(┐R∨P∧┐Q)∨S⇔(┐R∨S)∨(┐Q∧P)左边：((Q∧R)→S)∧(R→(P∨S)⇔
公式法貌似不好推,用真值表试试
(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∨
是命题公式再问：是吗？书上说不是，难道印错了？再答：应该是。估计是少印或者多印了点什么，比如“P→”或者“→Q”或“∧P→Q”等等，这些都不是
(P->Q)R((P-->Q)-->R)且(R-->(P-->Q))(非(非P或Q)或R)且(非R或(非P或Q))((P且非Q)或R)且(非R或非P或Q)(P或R)且(非Q或R)且(非R或非P或Q)(
(P→Q)∧(R→Q)P∨Q)∧(~R∨Q)P∧~R)∨Q(P∨R)∨Q(P∨R)→Q就是┐,不方便打那个符号
解法一：G=┐（P→Q）∨（Q∧（┐P→R））=┐（┐P∨Q）∨（Q∧（P∨R））=（P∧┐Q）∨（（Q∧P）∨（Q∧R））=（P∧┐Q）∨（Q∧P）∨（Q∧R）=（（P∧┐Q）∧（┐R∨R））∨（（
P->(Q->R)百分之百是命题公式!