Propositional Calculus Definitions

PropD1) (A ∧ B) ⇔ {¬[A ⇒ (¬B)]}

PropD2) (A ∨ B) ⇔ [(¬A) ⇒ B]

PropD3) (A ⇔ B) ⇔ [(A ⇒ B) ∧ (B ⇒ A)]