Biconditional as Disjunction of Conjunctions

Also known as
This rule is also sometimes included as another form of the Rule of Material Equivalence