A Boolean Algebra is an algebra(set, operations, elements) consisting of a set B with >=2 elements, together with three operations- the AND operation(Boolean Product), the OR operation(Boolean Sum), and the NOT operation(Complement) - defined on the set, such that for any element a, b, c…. of set B, a*b, a+b and a' are in B.
Here are some key terms of the Boolean Algebra with a brief description about them:
Boolean algebra is a switching algebra that deals with binary variables and logic operations. The variables are designated by letters such as A, B, x, and y. The three basic logic operations are AND, OR and NOT. A Boolean function can be expressed algebraically with binary variables, the logic operation symbols, parentheses and equal sign. For a given combination of values of the variables, the Boolean function can be either 1 or 0. Consider for example, the Boolean Function:
F = x + y'z
The Function F is equal to 1 if x is 1 or if both y' and z are equal to 1; F is equal to 0 otherwise.
The relationship between a function and its binary variables can be represented in a truth table. To represent a function in a truth table we need a list of the 2n combinations of the n binary variables.
A Boolean function can be transformed from an algebraic expression into a logic diagram composed of AND, OR and NOT gates.
The purpose of Boolean algebra is to facilitate the analysis and design of digital circuits. It provides a convenient tool to:
A Boolean function specified by a truth table can be expressed algebraically in many different ways. Two ways of forming Boolean expressions are Canonical and Non-Canonical forms.
It expresses all binary variables in every product(AND) or sum(OR) term of the Boolean function. To determine the canonical sum-of-products form for a Boolean function F(A, B, C) = A'B + C' + ABC, which is in non-canonical form, the following steps are used:
F = A'B + C' + ABC = A'B(C + C') + (A + A')(B + B')C' + ABC
where x + x' = 1 is a basic identity of Boolean algebra
= A'BC + A'BC' + ABC' + AB'C' + A'BC' + A'B'C' + ABC = A'BC + A'BC' + ABC' + AB'C' + A'B'C' + ABC
By manipulating a Boolean expression according to Boolean algebra rules, one may obtain a simpler expression that will require fewer gates.
The below table lists the most basic identities of Boolean algebra. All the identities in the table can be proven by means of truth tables.