Jump to content

User:LBBHILLGAARD/Books/Boolean algebra

From Wikipedia, the free encyclopedia


2-valued morphism
Absorption law
Algebraic normal form
Balanced boolean function
Bent function
Binary decision diagram
Bitwise operation
Boole's expansion theorem
Boolean algebra
Boolean algebra (structure)
Boolean algebras canonically defined
Boolean conjunctive query
Boolean data type
Boolean domain
Boolean expression
Boolean function
Boolean operations in computer-aided design
Boolean prime ideal theorem
Boolean ring
Boolean satisfiability problem
Boolean-valued function
Boolean-valued model
Booleo
Canonical normal form
Chaff algorithm
Circuit minimization for Boolean functions
Complete Boolean algebra
Consensus theorem
Correlation immunity
Davis–Putnam algorithm
De Morgan's laws
Derivative algebra (abstract algebra)
Evasive Boolean function
Field of sets
Formula game
Free Boolean algebra
Functional completeness
Goodman–Nguyen–van Fraassen algebra
Implicant
Implication graph
Inclusion (Boolean algebra)
Interior algebra
Join (sigma algebra)
Karnaugh map
Laws of Form
List of Boolean algebra topics
Logic alphabet
Logic redundancy
Logical matrix
Lupanov representation
Majority function
Modal algebra
Monadic Boolean algebra
Parity function
Petrick's method
Poretsky's law of forms
Product term
Propositional calculus
Propositional directed acyclic graph
Propositional formula
Quine–McCluskey algorithm
Reed–Muller expansion
Relation algebra
Residuated Boolean algebra
Robbins algebra
Sigma-algebra
Stone functor
Stone's representation theorem for Boolean algebras
Symmetric Boolean function
True quantified Boolean formula
Truth table
Two-element Boolean algebra
Vector logic
Wolfram axiom
Zhegalkin polynomial