Chapter Five - Boolean Algebra: Robert Acquah
Chapter Five - Boolean Algebra: Robert Acquah
Robert Acquah
National Institute for Mathematical Sciences (NIMS)
April 9, 2019
Outline Boolean Algebra
1 Boolean Algebra
Outline Boolean Algebra
hB, +, ∗,0 , 0, 1i
Fundamental Tables
We normally drop ∗
Example
Find the values of the Boolean function represented
by F (x, y , z) = xy + z 0
Solution
Draw a table for the function
(x 0 )0 = x
Idempotent Laws
x +x =x
x ·x =x
Outline Boolean Algebra
Identity Laws
x +0=x
x ·1=x
Dominance Laws
x +1=1
x ·0=0
Outline Boolean Algebra
De Morgan’s Laws
(xy )0 = x 0 + y 0
(x + y )0 = x 0 · y 0
Example
Show that the distributive law is valid.
Outline Boolean Algebra
Proof.
Duality
Example
Find the duals of x(y + 0) and x 0 · 1 + (y 0 + z).
Example
Construct an identity from the absorption law.
Outline Boolean Algebra
Example
Find Boolean expressions that represent the
functions F (x, y , z) and G (x, y , z) which are given
by the Table.
Outline Boolean Algebra
Solution.
The minterm x10 x2 x30 x4 x5 has the correct set of
values.
Outline Boolean Algebra
Thank You.