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