A. P→(Q→Q)⇒Q→P B. ┐Q⇒P→Q C. P⇒P→Q D. ┐P∧(P∨Q)⇒ ┐P
A. (┐P∧Q)→(Q→┐R) B. P→(Q→Q) C. (P∧Q)→P D. P→(P∨Q)
A. ┐P∧(P∨Q)⇒ ┐P B. P∧Q⇒P C. P∨Q ⇒P D. P∧(P→Q)⇒Q