# Rules of Boolean Algebra

A number of rules of Boolean algebra are available which may be used to simplify Boolean expressions by algebraic simplification.

These rules may be confirmed from first principles, or by comparing the equivalent truth tables of the left and right sides of the expression.

The Karnaugh map is an alternative circuit simulation technique, typically used with Boolean expressions having up to 4 input variables.

## a: Basic Concepts

A Boolean variable is allowed to have two possible values, which are 0 (false) and 1 (true).

The following basic Boolean relationships may be identified simply by examining the truth tables of the common logic functions AND, OR and NOT. ## b: Double Negation

A double negation cancels out, leaving the original variable. Double negation is equivalent to a pair of inverters in series, which may be removed without altering the logic function of the circuit. This scenario often occurs during NAND-only and NOR-only circuit simplification.

## c: Commutative Law

The order of variables is not important for AND or OR operations. ## d: Associative Law

The grouping of terms does not matter where operators have the same level of priority. ## e: Distributive Law

The distributive law is analogous to multiplying-out brackets in traditional algebra. ## f: Absorption Laws

The expression is simplified by ‘absorbing’ similar terms. ## g: Idempotence Law

A variable is unchanged when it is ANDed or ORed with itself. ## h: Identity Law

A variable is unchanged if it is either ANDed with 1 or ORed with 0. ## i: Annulment Law

A variable ANDed with 0 gives 0, while a variable ORed with 1 gives 1. ## j: Complemented Variables

ORing a variable with its complement gives 1, while ANDing with a complemented variable gives 0. ## k: De Morgan’s Theorem

The operation of an AND or OR logic circuit is unchanged if:-
1. all inputs are inverted,
2. the operator is changed from AND to OR, or vice versa and,
3. the output is inverted.

The equivalent Boolean expressions are shown below:- A number of ‘intermediate’ forms may also be encountered, as shown by the following examples #### Worked Example 1

Prove that:- Show / hide answer #### Worked Example 2

Prove that:- Show / hide answer 