作业帮用等值演算法验证命题等值式P→(q→r)⇔ (p∧q)→r.
来源：学生作业帮助网 编辑：作业帮 时间：2024/11/26 05:18:57
x){>eO<36O}Ƨ\4"tOI@HSMZAQBMMR>/t+t $D @2F 1N rc
用等值演算法验证命题等值式P→(q→r)⇔ (p∧q)→r.
用等值演算法验证命题等值式P→(q→r)⇔ (p∧q)→r.
用等值演算法验证命题等值式P→(q→r)⇔ (p∧q)→r.
-p∨(q→r)
-p∨(-q∨r)
-p∨-q∨r
-(p∧q)∨r
(p∧q)→r