学帮网18题的2小题,
来源：学生作业学帮网 编辑：学帮网 时间：2024/06/04 12:47:58
18题的2小题,
2）由
((┐p∨q)∧(q→r))→(┐p∨r)
┐((┐p∨q)∧(q→r))∨(┐p∨r)
(┐(┐p∨q)∨┐(┐q∨r))∨(┐p∨r)
((p∧┐q)∨(q∧┐r))∨(┐p∨r)
((p∧┐q)∨┐p)∨((q∧┐r)∨r)
((p∨┐p)∧(┐q∨┐p))∨((q∨r)∧(┐r∨r))
(1∧(┐q∨┐p))∨((q∨r)∧1)
1
得知该命题公式是重言式.