The Subject of Extending Logical Minds
Combine some logic with some bomb defusing; now how about understanding this to make your life easier?
- The original Logic manual can be found here.
- This contains ONLY specific logical identities and certain logic gate equivalents for this module and other "Logic" modules.
- The experts are allowed to use this for a better reference.
"A" and "B" are boolean variables in the reference sheet provided.
An "!" character represents a negate operator, E.G. !A represents NOT A.
|Some Logic Identities|
|Involution||!!A = A|
|Dominance (OR)||TRUE ∨ A = TRUE|
|Dominance (AND)||FALSE ∧ A = FALSE|
|Complementartity (OR)||!A ∨ A = TRUE|
|Complementartity (AND)||!A ∧ A = FALSE|
|DeMorgan's (OR)||A ∨ B = !A | !B|
|DeMorgan's (AND)||A ∧ B = !A ↓ !B|
|Absorption||A ∧ (A ∨ B) = A|
|Idempotence||A ∧ A = A ∨ A = A|
|A ↔ A = TRUE||A ⊻ A = FALSE|