DDCO Module 1
DDCO Module 1
e*x=x* e=x
v) Inverse:
A set S having the identity element e, w.r.t. binary operator * is said to
have an
inverse, whenever for every x¬S, there exists an element x'ESsuch that,
x. x' ¬e
Summary:
Postulatesof Boolean algebra:
POSTULATES (a) (b)
Postulate 2 (ldentity) x+0=x
X.1= x
Postulate 3 (Commutative) X+ y=y+ x
Postulate 4 (Distributive) r x (y+ z) = xy+ xz
X.y=y.x
x+ yz = (x+ y). (xt z)
Postulate 5 (Inverse) x+x' =1
x. x = 0
Basic theorem and properties of Boolean algebra:
Basic Theorems:
The theorems, like the postulates are listed in pairs; cach relation is the dual of the
one paired with it. The postulates are basic axioms of the algebraic structure and need no
proof. The theorems must be proven from the postulates. The proofs of the theorems with
one variable are presented below. At the right is listed the number of the postulate that
justifies each step of the proof.
1) a) xt x = x
x+ x= (x+ x).1 by postulate 2(b) [ x. 1 = x ]
= (x+ x). (x+ x) 5(a) [x+x= 1]
= X+ xx' 4(b) [ x+yz = (xty)(x+)l
= x+ 0 5(b) [x. x-0]
= X 2(a) [x+0 =x]
b) x. x = x
x. x= (x. x) +0 by postulate 2(a) [x+ 0 =x]
= (x. x) + (x. x) 5(b) [x. x = 0]
=x (x+x) 4(2) [x (y+z) =(xy)+ (xz)]
=x (1) 5(a) [x+x=1]
=X 2(b) [ x.1 =x]
2) a) x+ 1=1
x+1 =1. (x+ 1) by postulate 2(b) [ x. 1 =x]
= (x+ x). (x+ 1) 5(a) [ x+ x=1]
=X+x.1 4(b) [ x+yz= (xty)(x+z)]
=x+x 2(b) [x. 1=x]
=1 5(a) [x+ x=1]
b)x .0= 0
3) (x)=x
From postulate 5, we have x+t x=1 and x.x'=0, which defines the complemernt
of x. The complement of x is x and is also (x').
Therefore, since the complement is unique,
(x'Y = x.
4) Absorption Theorem:
a) x+ xy = x
xt xy=x. 1+t xy
by postulate 2(b) [x. 1=x]
= x (1+ y)
4(a) [x (y+z) = (xy)+ (xz)]
= x (1)
= X.
by theorem 2(a) [x+1=x]
by postulate 2(a) [x. 1 = x]
b) x. (x+ y) =x
x. (x+ y) = x. x+ x.y
=xt x.y 4(a) [ x(ytz) = (xy)+ (xz)]
= X.
by theorem 1(b) [X. X= x]
by theorem 4(a) [x+ xy = x]
c) x+ xy = x+ y
x+ xy = Xt xy+ x'y
= x+ y (x+ x) by theorem 4(a) [x+ xy = x]
=xt y (1) by postulate 4(a) [>x (y+z) = (xy)+ (xz)]
= x+ y 5(a) [x+ x =1]
2(b) (x. 1= x]
d) x. (x'ty) = xy
x. (x'+y) = x.x'+ xy
= 0+ xy by postulate 4(a) [ x (y+z) =
(xy)+ (xz)]
= xy. 5(b) [x. x' =0]
2(a) [x+ 0= x]
Boolean addition is
x+ y= y+ x
commutative, given by
According to this
makes no difference. property, the order of the OR
operation conducted on the variables
Boolean algebra is also
X. y=y. x
commutative over multiplication given by,
This means that the
order of the AND
difference. operation conducted on the variables
makes no
2. Associative propcrty
The associative
property of additin is given by,
A+ (B+ C) - (A+B) +C
The OR operation of several
the variables. variables results in the same, regardlen of the
grouping of
lhe associative law of multiplication is given hy,
A. (B. C) =(A.B) .C
It makes no difference inwhat order the
of several variables. variables are grouped during the AND operation
3. Distributive property:
TheBoolean addition is distributive over
Boolean multiplication, given by
A+ BC = (A+B) (A+C)
The Boolean addition is distributive over
Boolean addition, given by
A. (B+C) =(A.B)+ (A.C)
4. Duality:
It states that every algebraic expression deducible from the
postulates of Boolean
algebra remains valid if the operators and identity elements are
If the dual of an algebraic expression is desired, we
interchanged.
simply interchange OR and
AND operators and replace 1's by O's and O's by 1's.
x+ x=1 is x. x=0
Duality isa very important property of Boolean algebra.
Summary:
Theorems of Boolean algebra:
THEOREMS (a) (b)
1
2
ldempotency x +x= X X.X= X
x+1= 1 X.0=0
3
Involution (xY =x
4
Absorption xt xy = X x (x+ y) =x
5
x+ xy =xt y x. (x+ y)= xy
Associative x+(y+ z)= (x+ y)+ z x (yz) = (xy) z
6
DeMorgan's Theorem (xt yl'= x.y' (x. y)'= xty'
DeMorgan's Theorems:
Two theorems that are an
DeMorgan. important part of Boolean algebra were
proposed by
The first
the complements.theorem states that the complement of a product is equal to the sum of
(AB)' =A'+ B'
The second theorem states that
the complement of a sum is
complements. equal to the product of the
(A+ B)' = A. B
Consensus Theorem:
In
the termn simplification
of
Boolean expression, an expression of the form
BCis redundant and AB+ A'C+ BC,
AC. The theorem used for thiscan be eliminated to form the equivalent
stated as, simplification is known as consensus expression AB+
theorem and is
AB+ AC+ BC = AB+ A'C
The dual form of
consensus theorem is stated as,
(A+B) (A+C) (B+C) = (A+B) (A'+C)
BOOLEAN FUNCTIONS:
Minimization of Boolean
The Boolean expressionsExpressions:
can be simplified by applying properties, laws and
theotemsof Boolean algebra.
Simplity the following Boolean funtions to a minimum number of literals
1. x(N*y)
xx+ xy
-0+ xy [x*0=x]
= Xy.
2. x+y
=xt xy + x'y [x+ xy= x]
= xt y (xtx)
= xt y (1) [x+ x= 1]|
= x+ y.
4. xy t xz + yz.
= xy + xz + yz( x+ x) [x+x=1]
= xy + xz t xyz + xyz
Re-arranging,
= xy + xyz + x'z txyz
= xy (1+ z) + xz (1+y) [1+y= 1]
= xy+ x'z.
7. N'y+xy+ x'y'
y(x'+ x) + x'y' |x (y+ z) xy+ xz|
=y (1) +x'y' |x+ x= 1]
= y+ x'y' [x+ x'y= xty']
=y+ x'.
8. x+ xy'+ x'y
= x (1+ y)+ x'y
= x (1) + x'y [1+ x= 1]
= x+ x'y [x+ xy = xt y]
= x+ y.
28. Y= m (1, 3, 5, 7)
-xy'z+ *yzt xy'z+ xyz
=*z(y'ty) +xz(yty)
=xz(1)t xz (1) [x+x=1]
=xz+ xz
=z(x+ x)
=z (1) [x+x=1]
=Z.
x+ xyz'+
xy'z'
x'+xy.w'yz+
xyz'+
xy. wxz+
x+ wyz't
xtwy.0+x'ytxyz'
wxz'+
z)+
(w+x+z)
w'tw'x'. x'y'(1+
w'x'yxy'+
+
z+xy.z' z)+ FORMS:
z') xy'. w'x+wxy+
yy)(w'tx+
(w'+x+z) x+
xyt w'+ xy. w'x'y't 1+ xyz
w'xy'+ STANDARD
w'y( xy(1)+
xy+ xy) xy. z+ xyz'
=x+(y"+z").
(y'+
z) z). (wxz) w't w'y. w'xy+w'x z)+
y+
=*x*xy't
yxt
yy' wxz) y) xx+xy+ xy'+
w'y(1)+
(yz) (y'+ w'y. w'x.z+ y+
(x+
yz)'=x+
=x+ (y'zy.
(y'z+ (xty)
=
(xy').
=(xy)' WXZ (xy'Y w'yt w'yt
z). xy't y) w'ytw'y+w'x(1+y'+ w'y+ AND
F'(xy'+
x'=y) xy. xy'+ (wxy)
=xy't (w'x+
w't w'x (1)+
(y+ 4.Fxy'+
x'y + (wtx+ (w'x+ wxtw'x+ =wxt CANONICAL
+ (wx'y
wx'y
wx.
=x+
- = = = = = = =
f= f= =
5.
complement
operation. OR table products
an
combinations: in
with as
AND represented of as:
its combined Mo M2 M3 M4 M5 M6 M7 sumsuch
Maxterms M
in
or an possible
its
form
z= z'= z= z'= z= z'= z= z= calledvariables
with M y+ y+ y'+ y'+ yt y+ y'+ y'+
(x)
y be x+ x+ x+ x+ x+x+x'+ x+ is
X
combined and can
four terms
x function operated
normalare
variables product
y there 'minter"'. mÍ mË
=
xy'z
Minterms xy'z'= ms =m4
m2 =
x'yz
x'yz= xy'z'ms=
xy'z=
xyz'
m6 m7=Xyz AND
variables
and yariable
'maxterm'
in form, combinations:
binary mË
logical
either of
a
either called 3- operation
two a a more
appear called ofmaxterms Products) Sums)
in
binary y
whenpossible
appear is x+ 0 0
or OR
may terms andis Z 1 1 1 1 two of
fashion, terms AC
Minterms
and two xy
Maxterms:
variable and
minterms
Variables of of an AC terms
duct
Pro (Product
may andAND foury' (Sum logically
BC+ C+
either x+ OR y 0 1
sum Sum
are x'+y,
1 B
xy' foursimilar
variable four logical AB+
Minterm: AB+ Maxterm:
Now x'y,
binary there is
these x'+y',
these It Y= Y=
eachx'y', a operation, The
1
The expression.
A (x), In 1. 2.
of of below. of of
formJnce Each Each Sum Sum
its the
standard
mintermn and in
sum
literal literals
logical
as called any.
known the the
more
as, is
form
ORing reorderifterms
such is
or SOP product
two variables SOP any.by and
the literals
of then
standard ifterm law
repeated ABC
missingdistributive
product
operated literals form:product
in function: AB'CAB'+C'
logical
theterm SOP omitting ABC
ABC
OR eachhaving
standard applying AB'C+
C)+C)+ ABC+
all individual
a of
is
contains ABC'
expression: the A') A'B
Operation in term by (A+ (C+(C+ABC'ABC'
expression
(A+C) (A+C) ABC+ literals
productby
expression
of
form AB+ A'B. + 7).6,
+ m4m5t
form to BB')+ ABCB').
AB).
m,t 5, BC
Each SOPmissing term AB+AB'+
SOP
(B+ (AB+ABC+ABC+ (4,SmA+
AND(B+C). (B+C).Sum
tems
product ABC+
sums duct
Pro SOP form. general complement.
term.
product (B+
an each the the canonical AB+ AB+ A+ A. myt
(A+B). (A+B).
basically
in
termSOP = the ExpandReduce B A.
A+ = = = = = - = = = - =
of
product
of
Sum form.
C) convert
Find AND C)
C)
canonical
B, = B,
Y= Y= eachcanonical
(A, theB) B, (A,
Canonical 3. 4. Y(A, (A,
is
lt 1. 2. If F to 1. 2. Obtain Y
terms. Steps Y
(or) 1. 2. 3.
ot
lon't
y We
nding
=A. (B+ B').(C+
C)+(A+ A).BC
= (AB+ AB'). (C+ C)+
= ABC+ ABC'+ AB'C+
ABC+ A'BC
ABC'+ ABC+ A'BC
= ABC+ ABC'+ AB'C+ AB'C+ A'BC
= myt m6t ms+ m4t m3
= m(3, 4, 5, 6, 7). 1
of the functions:
Obtain the canonical POS expression
1. Y= A+ B'C
= (A+ B') (A+ ©) [A+ BC = (A+B) (A+C)]
= (A+ B+ C.C) (A+ C+ B.B')
= (A+ B+C))(A+ B+C) (A+ B+ C) (A+ B'+ C)
= (A+ B'+C).(A+ B+C). (A+ B+ C)
= M2. M3. Mo
= [|M (0, 2, 3)
2. Y= (A+B) (B+C) (A+C)
= (A+B+C.C) (B+ C+ A.A') (A+C+B.B')
= (A+B+C) (A+B+C) (A+B+C) (A'+B+C) (A+B+C)
= (A+B+) (A+B+C) (A'+B+C) (A+B+©)
(A+B+C)
= Mo. M1. M4. M2
= J|M (0, 1, 2, 4)
3. Y=A. (B+ C+ A)
- (A+ B.B'+ C.C). (A+ B+ C)
= (A+B+C) (A+B+C) (A+B+C) (A+ B+C") (A+B+C)
= (A+B+) (A+B+C) (A+B+C) (A+ B'+C)
= Mo. M1. M2. M3
= J[M (0, 1, 2, 3)
5. Y= xy+ xz
= (xy+ x') (xy+ z) Using distributive law, convert the function into OR terms.
- (xtx) (y+x) (x+z) (y+z) [x+ x=1]
= (x+y) (xtz) (y+z)
= (xty+ z.z') (x+z+y.y') (y+z+ x.x)
- (x+ y+z) (x+ y+ z') (x+ y+ z) (x+ y'+ 2) (x+ y+ z) (x<t y+ z)
= (x+ y+ z) (x'+ y+ z')(x+ y+ z) (x+ y'+ z)
-M4. M5. Mo. M2
=|[M (0, 2, 4, 5).
KARNAUGH MAP MINIMIZATION:
The simplification of the functions using Boolean laws and theorems becomes
cOmpleX with the increase in the number of variables and terms. The map method, first
proposed by Veitch and slightly improvised by Karnaugh, provides a simple,
straighttorward procedure for the simplification of Boolean functions. The method is
called Veitch diagram or Karnaugh map, which may be regarded as a pictorial
representation of a truth table.
method for simplifying and
The Karnaugh map technique provides a issystematic
a diagram made up of squares, with
manipulation of Boolean expressions. A K-map minimized. For n
square representing one minterm of the function that is to be
cacn of squares. Each square or cell
Variables on aKarnaugh map there are 2n numbers fromn either minterm (sum-of
directly
represents one of the minterms. It can be drawn
products) or maxterm (product-of-sums) Boolean expressions.
CD
AB CD CD
ABABCD|ABCDABCDABCD
ABABCDABCDABCD ABCD
ABABCDABCDABCDABCD
ABABC5|ABCDABCDABCD
4-Variable map
is not
e don't
, We
iing
rroduct terms are assigned to the cells of a K-map by labeling each row and each
cOlumn of a map with a variable,with its complement or with acombination of variables
cOmplements. The below figure shows the wav to label the rows &columns of a1, 2, 3
and 4- variable maps and the product terms
corresponding to each cell.
lt is important to note that when we move from one cell to the next
along any row
Or rom one cell to the next along any column, one and only one variable in the
product
erm changes (to a complement or to an uncomplemented form). Irrespective of number
of variables the labels along each row and column
must conform to a single chânge.
Hence gray code is used to label the rows and columns of K-map as shown below.
BC + Gray code Sequence
1 01 11 10
1111
I13
114 1L5 1117
10 11l11 1M10
4-Variable map
01 1
01 1 01 1 1
11
11 11
1
10
10 10
ABD BCD
ABD
CD
AB CD
01 11 10 AR 00 01 11 AB 00 01 11 10
10
00
1 OC 00 1
01 01
(1 01
11 11 11
10 10 10 1 1
Examples of Pairs
00 1 00
01 1 1 1 01 1 01
11 11 11 1
10 10 1 10
01
01 01
11
1 11 11
10
1 1 10 10
1 1 1
11 1 1 11 11
1 1 1 1 1
10 10 10
1 1
(d) D (e) A (f
CD CD CD
AB 01 11 10 AB 00 01 11 10 AB 01 11 10
1 1 1 00 1 1 1 1 1 1
01 1 1 1 01 1
11 11 1 1 11
10 10 1 1 10/ 1 1 1
X1 1 1 1
6
X1 1
F= yz+ xz'
X1 0 1
1 1 1
x 1
xy
F=z'txy'
AB'C+ BC
3. F=A'C + A'B +
A)
C)+ ABC + BC (A+
Soln:
B') + A'B (C+ ABC+ABC
=A'C(B+A'B'C+A'BC+A'BC+ AB'C+
=ABC+ ABC
A'BC'+ ABC +
=A'BC+ A'B'C+
m5+ my
Im3+ mj+ m2+
BC
=Em (1, 2, 3,5, 7) BC BC BC AB
BC 10
BC A 01 11
EE BC BC 00
BC 1 1
00 01 11 10 1
A 0
1 1
2 1 1
A1
A1
1 6 -C
F=C+ A¼B
AB'C'+ A¼B'C'
AB'C+ A'BC + A'BC +
4.
Soln: + m3 + m4 +
m0
= m5 + m1
= m (0, 1, 3, 4, 5) BC BC
BC Bã BC
BC A 11 10
BC BG BC BC 01
A 01 11 10 AC
00
A 0 (1 1 14
1 1 1
A 0 3
1 1
A 1
1 1
A1 4
F=A'C+ B'
AB 0 1
ACD
Therefore,
Y= A'B'CD'+ AC'D+ BC
00 01 11 10 yz yz
00 1 1 1 1
1 3
01 1 1 1 1 1
5 6
W.
11 1 1 1 WE 1 1 1
12| 13| 15 14
10 1 1 wEL
11| 10
Therefore,
F= y'+ w'z'+ xz'