# Logical equality

MyWikiBiz, Author Your Legacy — Friday September 24, 2021

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)

**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:

p | q | p = q |
---|---|---|

F | F | T |

F | T | F |

T | F | F |

T | T | T |