Question

verify each of the following equivalences using basic equivalences

1)((P∧Q∧R)→S∧(R→(P ∨ Q ∨ S))≡R∧(P↔Q)→S

2)((P∧Q)→R)∧(Q→(S∨R))≡Q∧(S→P)→R

Answer 1

1.) ((P∧Q∧R)→S∧(R→(P ∨ Q ∨ S))≡R∧(P↔Q)→S is verified according to the table

b.) ((P∧Q)→R)∧(Q→(S∨R))≡Q∧(S→P)→R

This relation is not verified.