Skip to content

general/boolean-algebra

Surf Wiki
Field of sets

Algebraic concept in measure theory, also referred to as an algebra of sets

general/boolean-algebra
Boolean conjunctive query
general/boolean-algebra
Parity function

Function in Boolean algebra

general/boolean-algebra
Boolean data type

Data having only values "true" or "false"

general/boolean-algebra
Quine–McCluskey algorithm

Algorithm for the minimization of Boolean functions

general/boolean-algebra
Boole's expansion theorem

Theorem in Boolean algebra

general/boolean-algebra
Boolean algebra (structure)

Algebraic structure modeling logical operations

general/boolean-algebra
Balanced Boolean function
general/boolean-algebra
Implication graph

Directed graph representing a Boolean expression

general/boolean-algebra
2-valued morphism
general/boolean-algebra
Free Boolean algebra
general/boolean-algebra
Petrick's method

Minimization algorithm for Boolean algebra

general/boolean-algebra
Boolean expression

Expression in a computer program

general/boolean-algebra
Median algebra
general/boolean-algebra
Evasive Boolean function
general/boolean-algebra
Davis–Putnam algorithm

Check the validity of a logic formula

general/boolean-algebra
Boolean domain

Concept in mathematical logic

general/boolean-algebra
Reed–Muller expansion
general/boolean-algebra
Implicant
general/boolean-algebra
Boolean-valued function

Function that outputs either true or false

general/boolean-algebra
Boolean algebras canonically defined

Technical treatment of Boolean algebras

general/boolean-algebra
Unate function

Boolean function which has monotonic properties

general/boolean-algebra
Product term
general/boolean-algebra