问答题
计算题
试证明下列各公式是重言式：
①（P∧（P→Q））→Q
②
③（（P→Q）∧（Q→R））→（P→R）
④（P→（Q→R））→（（P→Q）→（P→R））
【参考答案】
点击查看答案
为模4乘法，即
