结构推理 用多种方法判定命题公式(P→(P∧Q))∧R是否为可满足式．
【正确答案】(1)用等值演算法：
   (P→(P∧Q)∨R=(￢P∨(P∧Q))∨R
   =((￢P∨P)∧(￢P∨Q))∨TR
   =￢P∨Q∨R，
   当P，Q，R的指派分别取不同真假值时，此公式的结果有时为真，有时为假，故是可满足式．
   (2)真值表法：真值表中结果有真有假，故是可满足式．
P Q R P∧Q P→(P∧Q) (P→(P∧Q))∨R
F
F
F
F
T
T
T
T		 F
F
T
T
F
F
T
T		 F
T
F
T
F
T
F
T		 F
F
F
F
F
F
T
T		 T
T
T
T
F
F
T
T		 T
T
T
T
F
T
T
T
【答案解析】