Tautologies

t1.) (A ⇔ B) ⇔ (¬A ⇔ ¬B)
t2.) (A ⇔ B) ⇒ [(C ∨ A) ⇔ (C ∨ B)]
t3.) (A ⇔ B) ⇒ [(C ∧ A) ⇔ (C ∧ B)]
t4.) [(A ⇒ B) ∧ (B ⇒ C)] ⇒ (A ⇒ C)
t5.) [(A ⇔ B) ∧ (B ⇔ C)] ⇔ (A ⇔ B)
t6.) ¬(A ∧ B) ⇔ (¬A ∨ ¬B)                                De Morgan's First Law
t7.) A ∨ ¬A                                                            Law of Excluded Middle

t8.) ¬(¬A ) ⇔ A                                                   Complete Law of Double Negation
t9.) (A ⇒ B) ⇔ (¬B ⇒ ¬A)                                 Complete Law of Contraposition
t10.) (A ⇒ (B ⇒ C) ⇒ [(A ⇒ B) ⇒ (A ⇒ C)]      Transitivity of Logical Implication
t11.) (A ∧¬A) ⇒ B                                                A Contradiction Implies Every Consequent