填空题 试在空格中写出等值演算的依据:
   P→(Q∨R)
   =¬P∨(Q∨ R)     1
   =¬P∨¬P∨Q∨R     2
   =(¬P∨Q)∨(¬P∨R)   3
   =(P→Q)∨(P→R) 4
  • 1、
  • 2、
  • 3、
  • 4、
【正确答案】 1、利用联结词化归公式P→Q=¬P∨Q.,    2、等幂律P∨P=P.,    3、交换律P∨Q=Q∨P.,    4、化归公式¬P∨Q=P→Q    
【答案解析】