Difference between revisions of "Logical equality"
MyWikiBiz, Author Your Legacy — Monday November 25, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)) |
Jon Awbrey (talk | contribs) (typo) |
||
| Line 4: | Line 4: | ||
<br> | <br> | ||
| + | |||
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:45%" | {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:45%" | ||
|+ '''Logical Equality''' | |+ '''Logical Equality''' | ||
| − | |- style="background:e6e6ff" | + | |- style="background:#e6e6ff" |
! style="width:15%" | p | ! style="width:15%" | p | ||
! style="width:15%" | q | ! style="width:15%" | q | ||
| Line 19: | Line 20: | ||
| T || T || T | | T || T || T | ||
|} | |} | ||
| + | |||
<br> | <br> | ||
Revision as of 22:10, 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 |
