Logic equality

Logical equality is a logical operation. It corresponds to equality ([math]\displaystyle{ = }[/math]) in Boolean algebra and biconditional (written [math]\displaystyle{ \leftrightarrow }[/math] or [math]\displaystyle{ \Leftrightarrow }[/math]) in logic. It takes two inputs. It returns true if both inputs are true or if both inputs are false. Otherwise (when they are different), it returns false.

Related pages

• Implication (logic)