Logical equality

Revision as of 14:18, 21 May 2007 by Jon Awbrey (talk | contribs) (copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

Related topics