Related articles:
Truth table
Sheffer stroke
Boolean function
Entailment
Propositional calculus
George Boole
Digital electronics
Idempotence
Key terms:
conjunction
boolean algebra
logical
disjunction
variables
numeric
negation
valuations
inverter
boolean operations
inputs
commutativity
semantic
associativity
multiplication
axioms
distributivity
truth tables
normal form
implication
soundness
xor
binary operations
xy
derivations
nand
conjunction and disjunction
literals
syntactic
dnf term
boolean laws
propositions is true
possible valuations
ternary
numerical negation
truth values
addition and multiplication
logical negation
each conjunction
digital electronics
normal form term
soundness and completeness
provably equal
odd number
complete dnf
two propositions
equivalently
boolean logic
transitivity
laws of boolean algebra
Search external links cited by footnotes on Wikipedia page Boolean algebra (logic):
|
|