Logical equality

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

Exclusive disjunction Logical conjunction Logical disjunction Logical equality

Logical implication Logical NAND Logical NNOR Negation

Related topics

Ampheck Boolean algebra Boolean domain Boolean function

Boolean logic Laws of Form Logic gate Logical graph

Peirce's law Propositional calculus Sole sufficient operator Zeroth order logic

Aficionados

• See Talk:Logical equality for discussions/comments regarding this article.
• See Logical equality/Aficionados for those who have listed Logical equality as an interest.
• See Talk:Logical equality/Aficionados for discussions regarding this interest.

---

<sharethis />