Two propositions are equivalent if they are both false. Closed form of 2false. Equivalent to a biimpr -like version of the xor-connective. (Contributed by Wolf Lammen, 13-May-2013.)