1-Basic Properties and Theorems of Boolean Algebra-23!05!2024
1-Basic Properties and Theorems of Boolean Algebra-23!05!2024
BOOLEAN ALGEBRA
1. Closer: A set is closed with respect to a binary operator if, for every pair of elements of S, the binary
operator specifies a rule for obtaining a unique element of S. For example, the set of natural numbers N =
{1, 2, 3, 4, ...} is said to be closed with respect to the binary operator plus ( + ) by the rules of arithmetic
addition, since for any X,Y N we obtain a unique element Z N by the operation X + Y = Z. However,
note that the set of natural numbers is not closed with respect to the binary operator minus (–) by the rules
of arithmetic subtraction because for 1 – 2 = –1, where –1 is not of the set of naturals numbers.
Example: The element 0 is an identity element with respect to the binary operator + on the set of integers
I = {.... –4, –3, –2, –1, 0, 1, 2, 3, 4, ....} as
A + 0 = 0 + A = A.
Similarly, the element 1 is the identity element with respect to the binary operator × as
A × 1 = 1 × A = A.
5. Inverse: If a set S has the identity element E with respect to a binary operator *, there exists an element B
∈ S, which is called the inverse, for every A ∈ S, such that
A*B = E.
Example: In the set of integers I with E = 0, the inverse of an element A is (-A) since
A + (–A) = 0.
6. Distributive Law: If * and (.) are two binary operators on a set S, * is said to be distributive over (.),
whenever
A*(B.C) = (A*B).(A*C).
If summarized, for the fi eld of real numbers, the operators and postulates have the following
meanings:
The following is the complete list of postulates and theorems useful for two-valued Boolean algebra.
DeMorgan's Theorem
Two theorems that were proposed by DeMorgan play important parts in Boolean algebra.
The first theorem states that the complement of a product is equal to the sum of the complements. That is, if
the variables are A and B, then
(A.B)’ = A’ + B’
The second theorem states that the complement of a sum is equal to the product of the complements. In
equation form, this can be expressed as
(A + B)’ = A’ . B’
The complements of Boolean logic function or a logic expression may be simplified or expanded by the
following steps of DeMorgan’s theorem.
(a) Replace the operator (+) with (.) and (.) with (+) given in the expression.
(b) Complement each of the terms or variables in the expression.
DeMorgan’s theorems are applicable to any number of variables. For three variables A, B, and C, the
equations are
(A.B.C)′ = A′ + B′ + C′ and (A + B + C)′ = A′.B′.C
BOOLEAN FUNCTIONS
❖ Boolean functions can also be represented by truth tables. A truth table is the tabular form of the values
of a Boolean function according to the all possible values of its variables.
❖ For an n number of variables, 2n combinations of 1s and 0s are listed and one column represents
function values according to the different combinations.
For example, for three variables the Boolean function
F=x’y’z + x’yz + xy’z’ + xy’z
truth table can be written as X Y Z F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 0
A Boolean function from an algebraic expression can be realized to a logic diagram composed of logic
gates.
example of a logic diagram realized by the basic gates like AND, OR, and NOT gates.
SIMPLIFICATION OF BOOLEAN EXPRESSIONS
Minterms and Maxterms
To convert a Boolean function into canonical form, identity element theorem has to be used.
• consider the following truth table , for a three-input function Y. Here the output Y value is 1 for the input
conditions of 010, 100, 101, and 110, and their corresponding product terms are A’BC’, AB’C’, AB’C,
and ABC’ respectively.
The final sum of products expression (SOP) for the output Y is derived by summing or performing
an OR operation of the four product terms as shown below.
the output Y value is 0 for the input conditions of 000, 001, 011, and 111, and their corresponding
product terms are A + B + C, A + B + C’, A + B’ + C’, and A’ + B’ + C’ respectively.
So now, the final product of sums expression (POS) for the output Y is derived by performing an
AND operation of the four sum terms as shown below.
NAND gates and NOR gates are called universal gates or universal building blocks, as any type of gates or logic functions
can be implemented by these gates.
Example 3.12. Realize the following function by NAND gates only,
F = B(A + CD) + AC’.