Biconditional iff Disjunction implies Conjunction