明天就要上交了,急用,

题目

明天就要上交了,急用,
1、用等值演算法证明（（P→Q）∧P）→Q为真
2、推理证明前提R→『Q，R∨S，S→『Q，P→Q,结论『P.
3求命题公式P∧(Q∨『R)的真值表。

答案

1、用等值演算法证明（（P→Q）∧P）→Q为真（（P→Q）∧P）→Q => （（!P∨Q）∧P）→Q => （!P∧P∨Q∧P）→Q => （F∨Q∧P）→Q => !（Q∧P）∨Q => !Q∨!P∨Q => !Q∨Q∨!P => T∨!P => T2、推理证明前提R→!Q,R...