A Boolean algebra is a complemented distributive lattice. It is usually denoted by (B, ∧, ∨, ', 0, 1), where B is a set on which two binary operations ∧ (logical AND, sometimes written as • or *) and ∨ (logical OR, sometimes written as +) and a unary operation ' (complement) are defined. The elements 0 and 1 are the least and greatest elements (also called null and unity) of B, and they are distinct.
Because (B, ∧, ∨) is a complemented distributive lattice, every element of B has a unique complement. The complement of an element a ∈ B is denoted a' and satisfies a ∨ a' = 1 and a ∧ a' = 0.
Let (B, ∧, ∨, ', 0, 1) be a Boolean algebra and let A ⊆ B. Then (A, ∧, ∨, ', 0, 1) is a sub-algebra of B if A itself is a Boolean algebra; that is, A contains the elements 0 and 1 of B, and A is closed under the operations ∧, ∨ and complement '.
Example: Consider the Boolean algebra D70 whose Hasse diagram is shown in the figure below.

In this algebra, the subsets A = {1, 7, 10, 70} and B = {1, 2, 35, 70} are sub-algebras of D70, because each contains 0 and 1 (with the notation used in D70) and is closed under ∧, ∨ and complement '.
Note: A subset of a Boolean algebra may be a Boolean algebra by itself, but it is a sub-algebra of the larger algebra only if it is closed under the same operations and contains the same 0 and 1 elements as the larger algebra.
Two Boolean algebras B and B1 are isomorphic if there exists a bijection f : B → B1 that preserves the Boolean operations. That is, for all a, b ∈ B:
Example: Two distinct two-element Boolean algebras are isomorphic.
There exists a bijection that maps ∅ ↔ 1 and {a} ↔ p, preserving ∨, ∧ and complement; hence the two algebras are isomorphic.
Note:
- For every a ∈ B, 0 ≤ a ≤ 1.
- Every element b in B has a unique complement b'.
In the Boolean algebra (B, ∨, ∧, ', 0, 1), a mapping from B^n to B specified by a Boolean expression in n variables is called a Boolean function. For the two-valued Boolean algebra {0, 1}, any function f : {0,1}^n → {0,1} is a Boolean function.
Example 1: The table below shows a function f from {0,1}^3 to {0,1}.

Example 2: The table below shows a function f from {0,1,2,3}^2 to {0,1,2,3}.

Note: A Boolean function can always be described in tabular form (truth table). An alternative is to specify the function by a Boolean expression using variables, their complements and the operations ∨, ∧.
Every Boolean function can be expressed in canonical forms. Two common canonical forms are:
Canonical expressions are useful for theoretical analysis and for converting functions into digital circuits. They can be simplified using Boolean laws to obtain minimal expressions.
Boolean expressions are simplified to reduce circuit complexity. Standard techniques include:
When simplifying a Boolean expression, present the reasoning stepwise and show each algebraic transformation clearly so correctness can be followed.
Simplify the expression f = a ∨ (a ∧ b).
Apply the absorption law directly.
f = a.
This shows that a ∨ (a ∧ b) simplifies to a by the absorption law; a visual or circuit interpretation is that the presence of a alone determines the output regardless of b.
Boolean algebra formalises logic with operations ∨, ∧ and complement ' on a set B with distinguished elements 0 and 1. It obeys a fixed set of algebraic laws (commutative, associative, distributive, absorption, identity, null, complement, involution and De Morgan). Subsets that contain 0 and 1 and are closed under the operations form sub-algebras. Boolean functions map tuples of Boolean values to Boolean values and are represented by truth tables, canonical SOP/POS expressions, and simplified using algebraic rules, Karnaugh maps or tabular methods. These concepts are the mathematical foundation for digital logic and switching circuits.