Logical equality

Revision as of 22:10, 25 May 2009 by Jon Awbrey (talk | contribs) (typo)

Logical equality is an operation on two logical values, typically the values of two propositions, that produces a value of true if and only if both operands are false or both operands are true.

The truth table of p EQ q (also written as p = q, p ↔ q, or p ≡ q) is as follows:


Logical Equality
p q p = q
F F T
F T F
T F F
T T T


See also

Logical operators

Template:Col-breakTemplate:Col-breakTemplate:Col-end

Related topics

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end <sharethis />