Related articles:
Heyting algebra
Abstract algebra
George Boole
Intuitionistic logic
Key terms:
boolean
algebra
boolean algebra
propositional
complement
boolean operations
subsets
tautology
propositional calculus
disjunction
axioms
shaded
negation
propositional logic
boolean laws
axiomatization
morgan's law
binary operations
sequent
mathematical logic
truth tables
inverters
venn diagrams
divisors
propositional variables
instantiation
digital logic
distributive
nonempty
commutativity
antecedent
prototypical
finitely many
every boolean
truth assignment
boolean logic
vdash
all boolean algebras
unary
entailment
relation algebra
distributive lattice
propositional formula
msk
sequent calculus
double negation
laws of boolean algebra
Search external links cited by footnotes on Wikipedia page Boolean algebra:
|
|