与公式(P∧Q)→R等价的是() A.(﹁P∧Q)∨(P∧﹁R) B.(Q→P)∧R C.P→(Q→ R) D.R∧(P→Q)

问题描述:

与公式(P∧Q)→R等价的是() A.(﹁P∧Q)∨(P∧﹁R) B.(Q→P)∧R C.P→(Q→ R) D.R∧(P→Q)

因为(P∧Q)→R
=﹁(P∧Q)∨R
=(﹁P∨﹁Q)∨R
=﹁P∨(﹁Q∨R)
=P→(Q→ R)
所以与公式(P∧Q)→R等价的是(C)