# Difference between revisions of "Logical equality"

MyWikiBiz, Author Your Legacy — Sunday October 24, 2021

Jump to navigationJump to searchJon Awbrey (talk | contribs) (apply cloumn template) |
Jon Awbrey (talk | contribs) |
||

Line 56: | Line 56: | ||

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

{{col-end}} | {{col-end}} | ||

− | |||

− | |||

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

Line 68: | Line 66: | ||

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

[[Category:Semiotics]] | [[Category:Semiotics]] | ||

+ | |||

+ | <sharethis /> |

## Revision as of 14:18, 25 May 2009

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