构造命题公式-p^q的真值表,并说明P的类型-搜答案-拍题作业网

p是假命题

http://wap.jlsrtvu.com/media_file/2011_04_16/20110416152423.doc

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

我用c++写的.满意请采纳,有问题欢迎交流.

qpr￢pqÙ￢p(qÙ￢p)®r111001110001101111100110011001010001001101000101真值表显示(q∧┑p)→r是矛盾式

证明P∨(P∧Q)→P为一个重言式（永真式）就可以证明P∨(P∧Q)=>P成立.个人这样认为,化简P∨(P∧Q)→P可最后推出永为T

参考答案:\x09一个人,如果你不逼自己一把,你根本不知道自己有多优秀.

PQRP→QQ→RP→R((P→Q)∧(Q→R))((P→Q)∧(Q→R))→(P→R)00011111001111110101101101111111100011011010100111010001

P→Q,就是说在p符合的条件下,如果q也在,真,q不在,假可是现在连p都不符合,无论q是什么状态都无所谓了就像明天天晴,他就去出门如果明天下雨的话,不管他是不是出门,已经无法得知天晴时候他会怎么做.无

看(清华大学出版社第四版)课本13页

就是真或假真值不同就是真假不一非Q真所以Q假P或Q真,Q假,所以P真A,Q与P真值相同,B,P,Q真值不同(正确)C,P是真命题,(正确)D,P是假命题.

（p→q)∧(p→r)=（非p∨q)∧(非p∨r)=非p∨(q∧r)=p→(q∧r)

2、能够对命题公式的类型做出判断,能列出真值表,写出主范式.3、有能力命题的

ADDACAB

//约定1为真0为假//p->q∧r等价于~pV(q∧r)#includeintmain(void){intp,q,r;p=q=1;printf("%4s%4s%4s%10s\n","p","q","

qprq^p┐(q∧p)┐(q∧p)→r000010001011010010011011100010101011110101111101

有点费劲数学符号也打不上数学分析(北师版的)有解答吧