Changes

MyWikiBiz, Author Your Legacy — Friday March 29, 2024
Jump to navigationJump to search
1,313 bytes added ,  14:18, 21 May 2007
copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author
'''Logical equality''' is an [[logical operation|operation]] on two [[logical value]]s, typically the values of two [[proposition]]s, 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:

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
|+ '''Logical Equality'''
|- style="background:paleturquoise"
! style="width:15%" | p
! style="width:15%" | q
! style="width:15%" | p = q
|-
| F || F || T
|-
| F || T || F
|-
| T || F || F
|-
| T || T || T
|}
<br>

==See also==
===Logical operators===
{|
| valign=top |
* [[Exclusive disjunction]]
* [[Logical conjunction]]
* [[Logical disjunction]]
* [[Logical equality]]
| valign=top |
* [[Logical implication]]
* [[Logical NAND]]
* [[Logical NNOR]]
* [[Logical negation|Negation]]
|}
===Related topics===
{|
| valign=top |
* [[Ampheck]]
* [[Boolean algebra]]
* [[Boolean domain]]
* [[Boolean function]]
| valign=top |
* [[Boolean logic]]
* [[Laws of Form]]
* [[Logic gate]]
* [[Logical graph]]
| valign=top |
* [[Peirce's law]]
* [[Propositional calculus]]
* [[Sole sufficient operator]]
* [[Zeroth order logic]]
|}
12,080

edits

Navigation menu