# Difference between revisions of "Logical equality"

MyWikiBiz, Author Your Legacy — Friday September 24, 2021

Jump to navigationJump to searchJon Awbrey (talk | contribs) (copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author) |
Jon Awbrey (talk | contribs) (+ {{aficionados}} <sharethis /> + categories) |
||

Line 52: | Line 52: | ||

* [[Zeroth order logic]] | * [[Zeroth order logic]] | ||

|} | |} | ||

+ | |||

+ | {{aficionados}}<sharethis /> | ||

+ | |||

+ | [[Category:Computer Science]] | ||

+ | [[Category:Formal Languages]] | ||

+ | [[Category:Formal Sciences]] | ||

+ | [[Category:Formal Systems]] | ||

+ | [[Category:Linguistics]] | ||

+ | [[Category:Logic]] | ||

+ | [[Category:Mathematics]] | ||

+ | [[Category:Philosophy]] | ||

+ | [[Category:Semiotics]] |

## Revision as of 14:38, 21 May 2007

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

## See also

### Logical operators

### Related topics

## Aficionados

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

<sharethis />