Unit 2 Boolean Algebra
Unit 2 Boolean Algebra
AY : 2020-21
Chapter 2
Boolean Algebra
Presented By :
Prof. Bhavika Patel
DEPSTAR, FTE
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)
SUMMARY
6. There exists at least two elements X,Y ∈ S, such that X is not equal to Y
i.e. In Boolean algebra 0 & 1
TWO-VALUED BOOLEAN ALGEBRA
5. Postulate 6 also satisfies two-valued Boolean algebra that has two distinct
elements 0 and 1 where 0 is not equal to 1
BASIC PROPERTIES AND THEOREMS OF BOOLEAN ALGEBRA
Principle of Duality
From Huntington postulates, it is evident that they are grouped in pairs as part (a)
and (b) and every algebraic expression deductible from the postulates of Boolean
algebra remains valid if the operators and identity elements are interchanged.
This means one expression can be obtained from the other in each pair by
interchanging every element i.e., every 0 with 1, every 1 with 0, as well as
interchanging the operators i.e., every (+) with (.) and every (.) with (+). This
important property of Boolean algebra is called principle of duality.
i.e. 0 <->1 & + <-> .
(a) 0 . 1 = 0 <-> (b) 1 + 0 = 1
i.e. (b) is dual of (a)
The following is the complete list of postulates and theorems useful for two-valued
Boolean algebra
Theorem 1(a): A + A = A
A + A = (A + A).1 by postulate 2(b)
= (A + A) . ( A + A’) by postulate 5(a)
= A + (A.A’) by postulate 4(b)
=A+0 by postulate 5(b)
=A by postulate 2(a)
Theorem 1(b): A . A = A
A . A = (A . A) + 0 by postulate 2(a)
= (A . A) + ( A . A’) by postulate 5(b)
= A (A + A’) by postulate 4(a)
=A.1 by postulate 5(b)
=A by postulate 2(b)
Theorem 2(a): A + 1 = 1
Venn Diagram
• Truth tables :
Both sides of the relation are checked to yield identical results for all
possible combinations of variables involved.
The following truth table verifies the 6(a) absorption theorem.
X Y XY X+XY
0 0 0 0
0 1 0 0
1 0 0 1
1 1 1 1
For a two-variable function, four different combinations are possible, such as, A’B’,
A’B, AB’, and AB. These product terms are called the fundamental products or
standard products or minterms.
Note that, in the minterm, a variable will possess the value 1, if it is in true or
uncomplemented form, whereas, it contains the value 0, if it is in complemented
form .
Symbol for Minterm is mj, where j denotes the decimal equivalent of binary
number
• For three variables function, eight minterms are possible as listed in the following
table in Figure
Sum of Minterms
F = A + B’C
A = A (B + B’)
= AB + AB’
= AB(C +C’) + AB’(C + C’)
= ABC + ABC’ + AB’C + AB’C’
B’C = B’C (A +A’) = AB’C + A’B’C
F = ABC + ABC’ + AB’C + AB’C’ + AB’C + A’B’C
= ABC + ABC’ + AB’C + AB’C’ + A’B’C
= A’B’C + AB’C’ + AB’C + ABC’ + ABC
= m1 + m4 + m5 + m6 + m7
F (A,B,C) = Σ (1, 4, 5, 6, 7)
Steps to obtain Sum of MINTERMS
• Find out how many variables is there in equation
• List out all minterms for given variables. i.e m0 to m7 for 3 variables
• Check the given equation is in SOP FORM or not? If not then convert it into SOP
form. i.e ab + bc + ac’ form
• Find out missing variable in each term & add that variable in that term. i.e for
A,B,C: B is missing in AC’. Add B in AC’ using AC’ = AC’(B+B’) = ABC’ + AB’C’
• ADD ALL MISSING VARIABLES IN EACH TERMS OF THE EQUATION
• ARRANGE ALL OBTAINED MINTERMS IN ASCENDING ORDERS. i.e from m0 to
m7 for 3 variables
MAXTERM
A sum term containing all n variables of the function in either true or
complemented form is called the maxterm. Each maxterm is obtained by an OR
operation of the variables in their true form or complemented form.
Four different combinations are possible for a two-variable function, such as, A’ +
B’, A’ + B, A + B', and A + B. These sum terms are called the standard sums or
maxterms.
Note that, in the maxterm, a variable will possess the value 0, if it is in true or
uncomplemented form, whereas, it contains the value 1, if it is in complemented
form.
Symbol for Maxterm is Mj, where j denotes the decimal equivalent of binary
number
• Like minterms, for a three-variable function, eight maxterms are also possible as
listed in the following table
Product of Maxterms
F = xy + x’z
= (xy + x’)(xy + z)
= (x + x’) (y + x’) (x + z) (y + z)
= (x’ + y) (x + z) (y + z)
F (x, y, z) = П (0, 2, 4, 5)
Steps to obtain PRODUCT OF MAXTERMS
• Find out how many variables is there in given equation
• List out all maxterms for given variables. i.e M0 to M7 for 3 variables
• Check the given equation is in POS FORM or not? If not then convert it into POS
form. i.e (a + b)(b + c)(a +c’) form
• Find out missing variable in each term & add that variable in that term. i.e for
A,B,C: B is missing in (A + C’). Add B in (A + C’) using (A + C’) = (A + C’)+BB’
= (A + B + C)(A + B’ + C)
• ADD ALL MISSING VARIABLES IN EACH TERMS OF THE EQUATION
• ARRANGE ALL OBTAINED MAXTERMS IN ASCENDING ORDERS. i.e from M0 to
M7 for 3 variables
x y z function f1 function f2
0 0 0 0 0
0 0 1 1 0
0 1 0 0 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
F’(A, B, C) = Σ (0, 2, 3) = m0 + m2 + m3
0 L 1 L
POSITIVE LOGIC NEGATIVE LOGIC
Special Characteristics:
Fan out: specifies the number of standard loads(means amount of current needed
by an input of another gate in same IC) that the output of a gate can drive
without impairing its normal operation.
Power dissipation: is the supplied power required to operate the gate. This
parameter is expressed in milliwatts (mW). It represents the power delivered to
the gate from power supply.
Propagation delay: is the average transition delay time for a signal to propagate
from input to output when the binary signals change in value. This parameter is
expressed in nanoseconds (ns)
Noise Margin: is the maximum noise voltage added to the input signal of a digital
circuit that does not cause an undesirable change in the circuit output.
Characteristics of IC Logic Families:
Low-power 20 02 10 0.4
Schottky TTL
ECL 25 25 02 0.2
CMOS 50 0.1 25 3
SUMMARY OF CHAPTER 2
Basic Definitions
Axiomatic definitions of Boolean Algebra
Basic Theorems & Properties of Boolean Algebra
Boolean Functions
Canonical & Standard Forms
Minterms & Maxterms
Digital Logic Gates
IC Digital Logic Families
Special Characteristics of ICs