User:Aniruddha22Paranjpye/Books/Boolean Algebra


Boolean Algebra

edit
Boolean algebra (structure)
Canonical form (Boolean algebra)
List of Boolean algebra topics
Boolean algebra (logic)
Introduction to Boolean algebra
2-valued morphism
Absorption law
Algebraic normal form
Balanced boolean function
Bent function
Bitwise operation
Boolean data type
Boolean domain
Boolean expression
Boolean function
Boolean logic
Boolean satisfiability problem
Boolean algebras canonically defined
Boolean conjunctive query
Boolean prime ideal theorem
Boolean ring
Boolean-valued function
Boolean-valued model
Chaff algorithm
Circuit minimization
Complete Boolean algebra
Conditioned disjunction
Consensus theorem
Correlation immunity
Davis–Putnam algorithm
De Morgan's laws
Derivative algebra (abstract algebra)
Evasive Boolean function
Exclusive or
Field of sets
Formula game
Free Boolean algebra
Functional completeness
Implicant
Implication graph
Interior algebra
Karnaugh map
Laws of Form
Logic alphabet
Logic redundancy
Logical matrix
Logical NOR
Logical conjunction
Logical disjunction
Lupanov representation
Majority function
Minimal negation operator
Modal algebra
Monadic Boolean algebra
Negation
Parity function
Petrick's method
Product term
Propositional calculus
Propositional formula
Quine–McCluskey algorithm
Reed-Muller expansion
Relation algebra
Residuated Boolean algebra
Robbins algebra
Shannon's expansion
Sheffer stroke
Sigma-algebra
Stone's representation theorem for Boolean algebras
Symmetric Boolean function
True quantified Boolean formula
Truth table
Two-element Boolean algebra
Wolfram axiom
Zhegalkin polynomial
Converse implication
Converse nonimplication
Logical biconditional
Logical connective
Material conditional
Material nonimplication
Clausal normal form
Conjunctive normal form
Disjunctive normal form
Herbrand normal form
Herbrandization
Horn clause
Negation normal form
Prenex normal form
Skolem normal form
Entailment
Algebra of sets
Logical equality
Symmetric difference
Lindenbaum–Tarski algebra
First-order logic
Heyting algebra
Formal system
And-inverter graph
Logic gate
Boolean analysis
Compactness theorem
Duality (order theory)
Charles Sanders Peirce
John Venn
Ivan Ivanovich Zhegalkin
George Boole
Augustus De Morgan
William Stanley Jevons
Marshall Harvey Stone
Boole's syllogistic
Entitative graph
Logical graph
Existential graph
Venn diagram
Truth value
Stone duality
Espresso heuristic logic minimizer
Topological Boolean algebra
Indicator function