# Difference between revisions of "Logical equality"

MyWikiBiz, Author Your Legacy — Wednesday December 08, 2021

Jump to navigationJump to searchJon Awbrey (talk | contribs) (+ {{aficionados}} <sharethis /> + categories) |
Jon Awbrey (talk | contribs) (apply cloumn template) |
||

Line 21: | Line 21: | ||

==See also== | ==See also== | ||

+ | |||

===Logical operators=== | ===Logical operators=== | ||

− | { | + | |

− | + | {{col-begin}} | |

+ | {{col-break}} | ||

* [[Exclusive disjunction]] | * [[Exclusive disjunction]] | ||

* [[Logical conjunction]] | * [[Logical conjunction]] | ||

* [[Logical disjunction]] | * [[Logical disjunction]] | ||

* [[Logical equality]] | * [[Logical equality]] | ||

− | + | {{col-break}} | |

* [[Logical implication]] | * [[Logical implication]] | ||

* [[Logical NAND]] | * [[Logical NAND]] | ||

* [[Logical NNOR]] | * [[Logical NNOR]] | ||

* [[Logical negation|Negation]] | * [[Logical negation|Negation]] | ||

− | + | {{col-end}} | |

+ | |||

===Related topics=== | ===Related topics=== | ||

− | { | + | |

− | + | {{col-begin}} | |

+ | {{col-break}} | ||

* [[Ampheck]] | * [[Ampheck]] | ||

* [[Boolean algebra]] | * [[Boolean algebra]] | ||

* [[Boolean domain]] | * [[Boolean domain]] | ||

* [[Boolean function]] | * [[Boolean function]] | ||

− | + | {{col-break}} | |

* [[Boolean logic]] | * [[Boolean logic]] | ||

* [[Laws of Form]] | * [[Laws of Form]] | ||

* [[Logic gate]] | * [[Logic gate]] | ||

* [[Logical graph]] | * [[Logical graph]] | ||

− | + | {{col-break}} | |

* [[Peirce's law]] | * [[Peirce's law]] | ||

* [[Propositional calculus]] | * [[Propositional calculus]] | ||

* [[Sole sufficient operator]] | * [[Sole sufficient operator]] | ||

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

− | + | {{col-end}} | |

− | + | <sharethis /> | |

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

## Revision as of 14:01, 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 |