## Quick Reference

*P* and *Q* in such a way that the outcome is true if both *P* and *Q* are true or if both are false, as shown in the table. *P* and *Q* are said to be equivalent. The connective can be read as “if and only if” or “iff”, and is usually denoted by one of the following symbols:

≡ ↔ <—> ⇔

See also exclusive-NOR gate, propositional calculus.

**Equivalence.**Truth table

**From:**
equivalence
in
A Dictionary of Computing »

*Subjects:*
Computing.