Boolean Algebra
Boolean Algebra
Boolean
Algebra
0 0 0 1
0 0 1 1 Possible solution II:
0 1 0 0 F(x, y, z) = (-(xz))(-y)
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0
CMSC 203 - Discrete Structures 8
Boolean Functions and Expressions
There is a simple method for deriving a Boolean
expression for a function that is defined by a
table. This method is based on minterms.
Definition: A literal is a Boolean variable or
its complement. A minterm of the Boolean
variables x1, x2, …, xn is a Boolean product
y1y2…yn, where yi = xi or yi = -xi.
Hence, a minterm is a product of n literals, with
one literal for each variable.
x F1 F2 F3 F4
0 0 0 1 1
1 0 1 0 1
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
x -x
inverter
x x+
OR gate
y
y
x xy
AND gate
y
CMSC 203 - Discrete Structures 21
Logic Gates
Example: How can we build a circuit that
computes the function xy + (-x)y ?
x xy
y
xy + (-
x)y
x -x
(-x)y
y
CMSC 203 - Discrete Structures 22
The
End
CMSC 203 - Discrete Structures 23