Biconditional as Disjunction of Conjunctions