A. (P→Q) = (¬P∨Q)

B. (P↔︎Q) = (¬P∨Q)∧(P∨(¬Q))

C. (P∨Q)→R = [(¬P)∧(¬Q)] V R

D. ¬P∧Q = Q→P