Logic equality

logical operator in propositional calculus

Logical equality is a logical operation. It corresponds to equality () in Boolean algebra and biconditional (written [1] or [2]) 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 change

References change

  1. "Comprehensive List of Logic Symbols". Math Vault. 2020-04-06. Retrieved 2020-09-04.
  2. Weisstein, Eric W. "Equivalent". mathworld.wolfram.com. Retrieved 2020-09-04.