Discrete Mathematics and Its Application - Chapter 11
Discrete Mathematics and Its Application - Chapter 11
Boolean Algebra
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
5
Boolean Functions (11.1) (cont.)
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
6
Boolean Functions (11.1) (cont.)
Solution: 1 0 ( 0 1 ) 0 1 0 0 0
– Definition
x y z xy z F ( x , y , z ) xy z
1 1 1 1 0 1
1 1 0 1 1 1
1 0 1 0 0 0
1 0 0 0 1 1
0 1 1 0 0 0
0 1 0 0 1 1
0 0 1 0 0 0
0 0 0 0 1 1
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
9 • Identities of Boolean algebra
Identity Name
( xy ) x y ( x y ) x y De Morgan’s laws
x + xy = x x(x + y) = x Absorption laws
x x 1 Unit property
• Duality
– Example: Find
x .1 the z ) of x (y + 0) and
( yduals
( x 0 )( yz )
Solution: the duals are x + (y.1) and
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
12
Boolean Functions (11.1) (cont.)
– The duality principle enables to obtain more
identities. Since an identity between
functions represented by Boolean
expressions remains valid when the duals
of both sides of the identity are taken
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
15 Representing Boolean Functions
(11.2)
• Two problems of Boolean algebra are
emphasized in this section
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
Representing Boolean Functions (11.2)
16
(cont.)
• Sum-of-products expansions
– Goal: Find a Boolean expression that
represents a Boolean function
– Example: Find Boolean expressions that
represent the functions F(x, y, z) and G(x,
y, z) given by the following table:
x y z F G
1 1 1 0 0
1 1 0 0 1
1 0 1 1 0
1 0 0 0 0
0 1 1 0 0
0 1 0 0 1
0 0 1 0 0
0 Edition,
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh 0 0 Graw-Hill,
Mc 0 2011 0
Dr. Djamel
17 Representing Boolean Functions (11.2)
(cont.)
Solution:
x y z F G
1 1 1 00
To form the Boolean expressions for the
1 1 0 01 function F(x,y,z), we need to look at the table
1 0 1 10 and notice that F has the value 1 only if x = 1
1 0 0 00 and y = 0 and z =1 otherwise F has value 0
0 1 1 00 F(x,y,z) =
xyz
0 1 0 0 1
0 0 1 0 0
0 0 0 0 0 To form the Boolean expression for the
function G(x,y,z), we have to notice that
G(x,y,z) = 1 x = y = 1 and z = 0 or x = z =
0 and y = 1; otherwise G(x,y,z) = 0
G(x,y,z) = ( xyz ) ( xyz )
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
18 Representing Boolean Functions (11.2)
(cont.)
– Definition 1:
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
20 Representing Boolean Functions (11.2)
(cont.)
– Example: Find the sum-of-products
expansion for the x , y , z ) ( x y )z
F (function
Solution (1):
( x y )z xz yz x 1z 1 yz
x(y y)z (x x)yz
xyz xyz xyz xyz
xyz xyz xyz (since u u u)
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
21 Representing Boolean Functions (11.2)
(cont.)
Solution (2): We use the minterm technique
from a table
x y z x+y z (x + y) z
1 1 1 1 0 0
1 1 0 1 1 1
1 0 1 1 0 0
1 0 0 1 1 1
0 1 1 1 0 0
0 1 0 1 1 1
0 0 1 0 0 0
0 0 0 0 1 0
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
22 Representing Boolean Functions (11.2)
(cont.)
We need only to spot the set of values (x,y,z) for
which F ( x , y , z ) ( x y )zThis
1.set is:
{(1,1,0);(1,0,0);(0,1,0)}
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
23 Representing Boolean Functions (11.2)
(cont.)
• Functional completeness
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
29 Logic Gates (11.3) (cont.)
x
y x+y
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
30 Logic Gates (11.3) (cont.)
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
31 Logic Gates (11.3) (cont.)
– We can have multiple inputs to AND and
OR:
x1
x2
… x1x2…xn
xn
x1
x2 x1 + x2 + …+ xn
…
xn
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
32 Logic Gates (11.3) (cont.)
• Combinations of Gates
x xy xy
x
y xy
x xy
y
x xy xy
xy
a) ( x y )x
b) x ( yz )
c) ( x y z )( x y z )
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
35 Logic Gates (11.3) (cont.)
x x+y
y
( xxy y ) x
x
x
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
36 Logic Gates (11.3) (cont.)
– Solution for (b):
x x
y
x( y z )
yz ( yz )
z z
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
37 Logic Gates (11.3) (cont.)
– Solution for (c):
x
y
z x+y+z
x
x
( x y z )( x y z )
y
y
x yz
z
z
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
38 Logic Gates (11.3) (cont.)
• Example of circuits
x xy
y
x xz
z xy + xz + yz
y yz
z
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
Chapter 11 (Part 2):
Boolean Algebra
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Sixth Edition, Mc Graw-Hill, 2007
2011
Chapter 9 (Part 2): Graphs
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Sixth Edition, Mc Graw-Hill, 2011
42
Graph Terminology (9.2) (cont.)
• Some special simple graphs
– Complete graph
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
43
Graph Terminology (9.2) (cont.)
K1 K2 K3 K4
– Cycles
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
45
Graph Terminology (9.2) (cont.)
C3 C4
The cycles
C5 C3, C4, C5 & C6
C6
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
46
Graph Terminology (9.2) (cont.)
– Wheels
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
47
Graph Terminology (9.2) (cont.)
W3 W4
– n-cubes
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
49
Graph Terminology (9.2) (cont.)
110 111
10 11 101
100
010
011
0 1 00 01 000 001
Q1 Q2 Q3
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
50
Graph Terminology (9.2) (cont.)
• Bipartite graph
– Definition 5:
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
51
Graph Terminology (9.2) (cont.)
v3 v4
v5 v6
K2,3 K3,3
K3,5
K2,6
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
56
Graph Terminology (9.2) (cont.)
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
57
Graph Terminology (9.2) (cont.)
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
58
Representing Graphs & Graph Isomorphism
• Introduction
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
59 Representing Graphs & Graph
Isomorphism (9.3) (cont.)
• Representing Graph
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
60
Representing Graphs & Graph Isomorphism (9.3) (cont.)
e d
• Adjacency matrices
– To simplify computation, graphs can be
represented using matrices
• Adjacency matrix
• Incident matrix
c d
c
d
0 3 0 2
3 0 1 1
Solution: The adjacency matrix using
The ordering of vertices a, b, c, d is: 0 1 1 2
2 1 2 0
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
64
Representing Graphs & Graph Isomorphism (9.3) (cont.)
• Incidence matrices
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
65
Representing Graphs & Graph Isomorphism (9.3) (cont.)
v4 v5
e1 e2 e3 e4 e5 e6
v1 1 1 0 0 0 0
Solution: v2 0 0 1 1 0 1
v3 0 0 0 0 1 1
v4 1 0 1 0 0 0
v5 0 1 0 1 1 0
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
66
Representing Graphs & Graph Isomorphism (9.3) (cont.)
• Isomorphism of graphs
– Definition 1:
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
68
Representing Graphs & Graph Isomorphism (9.3) (cont.)
u3 u4 v3 v4
G H
Solution: The function f with f(u1) = v1, f(u2) = v4, f(u3) = v3,
f(u4) = v2 is a one-to-one correspondence between V and
W. To see that this correspondence preserves adjacency,
note that adjacent vertices in G are u1 and u2, u1 and u3,
u2 and u4, and u3 and u4, and each of the pairs f(u1) = v1
and f(u2) = v4, f(u1) = v1 and f(u3) = v3, f(u2) = v4 and
f(u3) = v3, and f(u1) = v1 and f(u4) = v2 are adjacent in H.
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
69
Connectivity (9.4)
• Goal: determination of paths within graphs
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
70
Connectivity (9.4) (cont.)
• Path
– Definition 1:
Let n be a nonnegative integer and G an undirected
graph. A path of length n from u to v in G is a sequence of
n edges e1, e2, …, en of G such that f(e1) = {x0, x1},
f(e2) = {x1, x2}, …, f(en) = {xn-1, xn}, where x0 = u and xn = v.
When the graph is simple, we denote this path by its
vertex sequence x0, x1, …, xn (since listing these vertices
uniquely determines the path). The path is a circuit if it
begins and ends at the same vertex, that is, if u = v, and
has length greater than zero. The path or circuit is said to
pass through the vertices x1, x2, …, xn-1 or traverse the
edges e1, e2, …, en. A path or circuit is simple if it does not
contain the same edge more than once.
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
71
Connectivity (9.4) (cont.)
– Example:
a b c
d e f
In this simple graph a, d, c, f, e is a simple path of
length 4, since {a,d}, {d,c}, {c,f}, and {f,e} are all
edges.
However, d, e, c, a is not a path, since {e,c} is not an
edge.
Note that b, c, f, e, b is a circuit of length 4 since
{b,c}, {c,f}, {f,e}, and {e,b} are edges, and this path
begins and ends at b.
The path a, b, e,d,a,b, which is of length 5, is not
simple since it contains the edge {a,b} twice.
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
72
Connectivity (9.4) (cont.)
– Definition 2:
Let n be a nonnegative integer and G a directed
multigraph. A path of length n from u to v in G is a
sequence of edges e1, e2, …, en of G such that
f(e1) = (x0, x1), f(e2) = (x1, x2), …, f(en) = (xn-1, xn),
where x0 = u and xn = v. When there are no
multiple edges in the directed graph, this path is
denoted by its vertex sequence x0, x1, …, xn. A
path of length greater than zero that begins and
ends at the same vertex is called a circuit or
cycle. A path or circuit is called simple it it does
not contain the same edge more than once.
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
73
Connectivity (9.4) (cont.)
– Question asked:
When does a computer network have the
property that every pair of computers can
share information, if message can be sent
through one or more intermediate
computers?
– Definition 3:
– Theorem 1:
Proof: Exercise!
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
75
Connectivity (9.4) (cont.)
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
76
Connectivity (9.4) (cont.)
– Definition 4:
– Definition 5:
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
78
Connectivity (9.4) (cont.)
c c
G H
e d e d
Solution: G is strongly connected because there is a path
between any 2 vertices in this directed graph. Hence, G is
also weakly connected.
The graph H is not strongly connected. There is no directed
path from a to b in this graph. However, H is weakly
connected, since there is a path between any 2 vertices in
their underlying undirected graph of H.
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
79
Connectivity (9.4) (cont.)
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
80
Connectivity (9.4) (cont.)
G u3 H v3
u5 v5
u4 v4
Solution: Both G and H have 6 vertices and 8 edges. Each has 4
vertices of degree 3, and two vertices of degree 2. However, H has a
simple circuit of length 3, namely, v1, v2, v6, v1 whereas G has no
simple circuit of length 3, as can be determined by inspection (all
simple circuits in G have length at least four). Since the existence of a
simple circuit of length 3 is an isomorphic invariant, G and H are not
isomorphic.
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
81
Connectivity (9.4) (cont.)
– Theorem 2:
Proof: Exercise!
Dr. Djamel © by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
CSE 504 Discrete Structures & Foundations of
82
Connectivity (9.4) (cont.)
a b
d c
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
83a b
Connectivity (9.4) (cont.)
d c
G
Solution: The adjacency matrix of G (ordering the vertices as a, b, c, d) is
0 1 1 0
1 0 0 1
A .
1 0 0 1
0 1 1 0
Hence, the number of paths of length 4 from a to d is the (1,4)th entry of
A4. Since 8 0 0 8
0 8 8 0
A
4 .
0 8 8 0
8 0 0 8
there are exactly 8 paths of length 4 from a to d. By inspection of the
graph, we see that a, b, a, b, d; a, b, a, c, d; a, b, d, b, d; a, b, d, c, d; a,
c, a, b, d; a, c, a, c, d; a, c, d, b, d; and a, c, d, c, d are the 8 paths from a
to d.
Dr. Djamel © by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
CSE 504 Discrete Structures & Foundations of
84 Logic Gates (11.3) (cont.)
• Adders
– Question: How can we carry out operations such
as additions of two positive integers (in binary
expansion) using logic circuits?
– We first build a circuit that can be used to
determine
x + y where x andInput
y are two bits
Output
x y s c
1 1 0 1
1 0 1 0
0 1 1 0
0 0 0 0
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
85
Logic Gates (11.3) (cont.)
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
86
Logic Gates (11.3) (cont.)
x x+y
y
Sum ( x y )( xy )
x xy xy
y
Carry = xy
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
87 – We need to compute the sum bit and the carry bit
when two bits and a carry are added
– The inputs to this full adder are the bits x and y and
the carry ci
– The outputs are the sum bit s and the new carry ci+1.
Input Output
x y ci s Ci+ 1
1 1 1 1 1
1 1 0 0 1
1 0 1 0 1
1 0 0 1 0
0 1 1 0 1
0 1 0 1 0
0 0 1 1 0
0 0 0 0 0
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
88
Logic Gates (11.3) (cont.)
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
89
Logic Gates (11.3) (cont.)
ci Half
( x y )( xy )
adder s xyci xyci xyci xyci
x Half
y adder xy
ci 1 xyci xyci xyci xyci
A full adder
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
90 Logic Gates (11.3) (cont.)
– Finally, the following figure shows how the
half and the full adders can be combined to
add the two three-bit integers (x2x1x0)2 and
(y2y1y0)2 to produce the sum (s3s2s1s0)2
x0 Half s0
y0 adder c0 s1
Full
x1
Adder ci
y1 s2
Full
x2
Adder
y2 c2 = s 3
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
91 Minimization of Circuits (11.4)
• Introduction
x xyz
y
z
xyz xyz
x
y
y
z xyz
x xz
z
• Karnaugh maps
x 1 x 1 x 1
x 1 x
1 x 1 1
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of
98 • Example: Simplify the following sum-of-products
expansions:
a) xy xy
b) xy xy
c) xy xy xy
Solution: The grouping of minterms is shown in the
following figure. Using the k-maps for these
expansions Minimal expansions for these sums-of-
products xy
xy are: x y
(a) y; (b) ; and (c) .
y y y y y y
x 1 x 1 x 1
x 1 x
1 x 1 1
– Conclusion:
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Seventh Edition, Mc Graw-Hill, 2011
Dr. Djamel CSE 504 Discrete Structures & Foundations of