填空题
试在空格中写出等值演算的依据:
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
【答案解析】
提交答案
关闭