Difference between revisions of "Logical equality"

MyWikiBiz, Author Your Legacy — Monday October 25, 2021
Jump to navigationJump to search
(+ {{aficionados}} <sharethis /> + categories)
(apply cloumn template)
Line 21: Line 21:
  
 
==See also==
 
==See also==
 +
 
===Logical operators===
 
===Logical operators===
{|
+
 
| valign=top |
+
{{col-begin}}
 +
{{col-break}}
 
* [[Exclusive disjunction]]
 
* [[Exclusive disjunction]]
 
* [[Logical conjunction]]
 
* [[Logical conjunction]]
 
* [[Logical disjunction]]
 
* [[Logical disjunction]]
 
* [[Logical equality]]
 
* [[Logical equality]]
| valign=top |
+
{{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===
{|
+
 
| valign=top |
+
{{col-begin}}
 +
{{col-break}}
 
* [[Ampheck]]
 
* [[Ampheck]]
 
* [[Boolean algebra]]
 
* [[Boolean algebra]]
 
* [[Boolean domain]]
 
* [[Boolean domain]]
 
* [[Boolean function]]
 
* [[Boolean function]]
| valign=top |
+
{{col-break}}
 
* [[Boolean logic]]
 
* [[Boolean logic]]
 
* [[Laws of Form]]
 
* [[Laws of Form]]
 
* [[Logic gate]]
 
* [[Logic gate]]
 
* [[Logical graph]]
 
* [[Logical graph]]
| valign=top |
+
{{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}}
  
{{aficionados}}<sharethis />
+
<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:

Logical Equality
p q p = q
F F T
F T F
T F F
T T T


See also

Logical operators

Template:Col-breakTemplate:Col-breakTemplate:Col-end

Related topics

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end <sharethis />