Any kind of logic, function, expression, or theory based on the work of

George Boole George Boole ( ; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. H ...

is considered Boolean. Related to this, "Boolean" may refer to: *

Boolean data type In computer science, the Boolean (sometimes shortened to Bool) is a data type that has one of two possible values (usually denoted ''true'' and ''false'') which is intended to represent the two truth values of logic and Boolean algebra. It is na ...

, a form of data with only two possible values (usually "true" and "false") *

Boolean algebra In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variable (mathematics), variables are the truth values ''true'' and ''false'', usually denot ...

, a logical calculus of truth values or set membership * Boolean algebra (structure), a set with operations resembling logical ones *

Boolean domain In mathematics and abstract algebra, a Boolean domain is a set consisting of exactly two elements whose interpretations include ''false'' and ''true''. In logic, mathematics and theoretical computer science, a Boolean domain is usually written ...

, a set consisting of exactly two elements whose interpretations include ''false'' and ''true'' * Boolean circuit, a mathematical model for digital logical circuits. * Boolean expression, an expression in a programming language that produces a Boolean value when evaluated * Boolean function, a function that determines Boolean values or operators * Boolean model (probability theory), a model in stochastic geometry * Boolean network, a certain network consisting of a set of Boolean variables whose state is determined by other variables in the network * Boolean processor, a 1-bit variable computing unit * Boolean ring, a mathematical ring for which ''x''² = ''x'' for every element ''x'' *

Boolean satisfiability problem In logic and computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY, SAT or B-SAT) asks whether there exists an Interpretation (logic), interpretation that Satisf ...

, the problem of determining if there exists an interpretation that satisfies a given Boolean formula *

Boolean prime ideal theorem In mathematics, the Boolean prime ideal theorem states that Ideal (order theory), ideals in a Boolean algebra (structure), Boolean algebra can be extended to Ideal (order theory)#Prime ideals , prime ideals. A variation of this statement for Filte ...

, a theorem which states that ideals in a Boolean algebra can be extended to prime ideals

See also