# Difference between revisions of "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 ~\operatorname{EQ}~ q,$$ also written $$p = q,\!$$ $$p \Leftrightarrow q,\!$$ or $$p \equiv q,\!$$ appears below:

 $$p\!$$ $$q\!$$ $$p = q\!$$ $$\operatorname{F}$$ $$\operatorname{F}$$ $$\operatorname{T}$$ $$\operatorname{F}$$ $$\operatorname{T}$$ $$\operatorname{F}$$ $$\operatorname{T}$$ $$\operatorname{F}$$ $$\operatorname{F}$$ $$\operatorname{T}$$ $$\operatorname{T}$$ $$\operatorname{T}$$

## Syllabus

### Logical operators

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

### Related topics

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

### Relational concepts

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

### Information, Inquiry

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

### Related articles

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

## Document history

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.