Boolean Algebra: Rosen 6 Ed., Ch. 11
Boolean Algebra: Rosen 6 Ed., Ch. 11
Chapter 11
Boolean Algebra
Rosen 6th ed., ch. 11
Boolean Algebra
Sections of chapter 11:
1 Boolean Functions
2 Representing Boolean Functions
3 Logic Gates
4 Minimization of Circuits
x y : x y
x y : x y
Precedence order
5
Boolean Functions
Let B = {0, 1}, the set of Boolean values.
For all nZ+, any function f:BnB is called
a Boolean function of degree n.
There are 22 (wow!) distinct Boolean
functions of degree n.
B/c 2n rows in truth table, w. 0 or 1 in each.
Degree
0
1
2
3
How many
2
4
16
256
Degree
4
5
6
How many
65,536
4,294,967,296
18,446,744,073,709,551,616.
6
Boolean Expressions
Let x1, , xn be n different Boolean variables.
n may be as large as desired.
Hypercube Representation
A Boolean function of degree n can be
represented by an n-cube (hypercube) with
the corresponding function value at each
vertex. (1,1,0)
(0,1,0) 1
1(1,1,1)
1(0,1,1)
(1,0,0)
0
0 (1,0,1)
0 (0,0,1)
(0,0,0)1
(a, b, c)
a b bc
Boolean equivalents,
operations on Boolean expressions
Two Boolean expressions e1 and e2 that represent
the exact same function f are called equivalent.
We write e1e2, or just e1=e2.
Implicitly, the two expressions have the same value for
all values of the free variables appearing in e1 and e2.
Idempotent laws:
x + x = x,
xx=x
Identity laws:
x + 0 = x,
x1=x
Domination laws:
x + 1 = 1,
x0=0
Commutative laws:
x + y = y + x,
xy=yx
Associative laws:
x + (y + z) = (x + y) + z
x (y z) = (x y) z
Distributive laws:
x + yz = (x + y)(x + z) Not true
x (y + z) = xy + xz in ordinary
De Morgans laws:
algebras.
(x y) = x + y, (x + y) = x y
Absorption laws:
x + xy = x,
x (x + y) = x
Duality
The dual ed of a Boolean expression e
representing function f is obtained by
exchanging + with , and 0 with 1 in e.
The function represented by ed is denoted fd.
11
Product-of-sums Expansions
A.k.a. Conjunctive Normal Form (CNF)
Functional Completeness
Minimal functionally complete sets of
operators.
13
Sum-of-Products Expansions
Theorem: Any Boolean function can be
represented as a sum of products of
variables and their complements.
Proof: By construction from the functions
truth table. For each row that is 1, include a
term in the sum that is a product representing
the condition that the variables have the values
given for that row.
Show an example on the board.
14
15
Functional Completeness
Since every Boolean function can be expressed in
terms of ,+,, we say that the set of operators
{,+,} is functionally complete.
There are smaller sets of operators that are also
functionally complete.
We can eliminate either or + using DeMorgans law.
17
18
x
xy
x+y
xy
19
x1
x2
x3
x1
x5
x1x2x3
x1x5
20
x
y
xy
x
y
x y
x
y
x y
21
Buffer
What about an inverter
x
x
symbol without a circle?
This is called a buffer. It is the identity function.
It serves no logical purpose, but
It represents an explicit delay in the circuit.
This is sometimes useful for timing purposes.
25
We would like to find the smallest sum-ofproducts expression that yields a given function.
This will yield a fairly small circuit.
However, circuits of other forms (not CNF or DNF)
might be even smaller for complex functions.
27