用等值演算法验证命题等值式P→(q→r)⇔ (p∧q)→r.

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/12 14:33:35
用等值演算法验证命题等值式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
-(p∧q)∨r
(p∧q)→r