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...

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties...

a list of topics around Boolean algebra and propositional logic. Algebra of sets Boolean algebra (structure) Boolean algebra Field of sets Logical connective...

In mathematics, a Heyting algebra (also known as pseudo-Boolean algebra) is a bounded lattice (with join and meet operations written ∨ and ∧ and with...

values (usually "true" and "false") Boolean algebra, a logical calculus of truth values or set membership Boolean algebra (structure), a set with operations...

logic and Boolean algebra. It is named after George Boole, who first defined an algebraic system of logic in the mid 19th century. The Boolean data type...

An example is the ring of integers modulo 2. Every Boolean ring gives rise to a Boolean algebra, with ring multiplication corresponding to conjunction...

Topological Boolean algebra may refer to: In abstract algebra and mathematical logic, topological Boolean algebra is one of the many names that have been...

mathematics, a complete Boolean algebra is a Boolean algebra in which every subset has a supremum (least upper bound). Complete Boolean algebras are used to construct...

logical function), used in logic. Boolean functions are the subject of Boolean algebra and switching theory. A Boolean function takes the form f : { 0 ...