Lect - 5 Boolean Algebra
Lect - 5 Boolean Algebra
Lect - 5 Boolean Algebra
Digital circuits
Boolean Algebra
Two-Valued Boolean Algebra
Boolean Algebra Postulates
Precedence of Operators
Truth Table & Proofs
Duality
Boolean Algebra
Basic Theorems of Boolean Algebra
Boolean Functions
Complement of Functions
Standard Forms
Minterm & Maxterm
Canonical Forms
Conversion of Canonical Forms
Binary Functions
Digital Circuits
Digital circuit can be represented by a black-box
with inputs on one side, and outputs on the other.
The input/output signals are discrete/digital in nature, typically with
two distinct voltages (a high voltage and a low voltage).
In contrast, analog circuits use continuous signals.
Digital
circuit
inputs outputs
: :
High
Low
Digital Circuits
Advantages of Digital Circuits over Analog Circuits:
more reliable (simpler circuits, less noise-prone)
specified accuracy (determinable)
Important advantages for two-valued Digital Circuit:
Mathematical Model Boolean Algebra
Can help design, analyse, simplify Digital Circuits.
Boolean Algebra
Boolean Algebra named after George Boole who
used it to study human logical reasoning calculus of
proposition.
Events : true or false
Connectives : a OR b; a AND b, NOT a
Example: Either it has rained OR someone
splashed water, must be tall AND good vision.
What is an Algebra? (e.g. algebra of integers)
set of elements (e.g. 0,1,2,..)
set of operations (e.g. +, -, *,..)
postulates/axioms (e.g. 0+x=x,..)
Boolean Algebra
a b a AND b
F F F
F T F
T F F
T T T
a b a OR b
F F F
F T T
T F T
T T T
a NOT a
F T
T F
Later, Shannon introduced switching algebra (two-valued Boolean
algebra) to represent bi-stable switching circuit.
Two-valued Boolean Algebra
Set of Elements: {0,1}
Set of Operations: { ., + , }
x y x . y
0 0 0
0 1 0
1 0 0
1 1 1
x y x + y
0 0 0
0 1 1
1 0 1
1 1 1
x x
0 1
1 0
Signals: High = 5V = 1; Low = 0V = 0
x
y
x.y
x
y
x+y x x'
Sometimes denoted by ,
for example a
Boolean Algebra
Postulates
The set B contains at least two distinct elements x
and y.
Closure: For every x, y in B,
x + y is in B
x . y is in B
Commutative laws: For every x, y in B,
x + y = y + x
x . y = y . x
A Boolean algebra consists of a set of elements B,
with two binary operations {+} and {.} and a unary
operation {'}, such that the following axioms hold:
Boolean Algebra
Postulates
Associative laws: For every x, y, z in B,
(x + y) + z = x + (y + z) = x + y + z
(x . y) . z = x .( y . z) = x . y . z
Identities (0 and 1):
0 + x = x + 0 = x for every x in B
1 . x = x . 1 = x for every x in B
Distributive laws: For every x, y, z in B,
x . (y + z) = (x . y) + (x . z)
x + (y . z) = (x + y) . (x + z)
Boolean Algebra
Postulates
Complement: For every x in B, there exists an
element x' in B such that
x + x' = 1
x . x' = 0
The set B = {0, 1} and the logical operations OR,
AND and NOT satisfy all the axioms of a Boolean
algebra.
A Boolean function maps some inputs over {0,1}
into {0,1}
A Boolean expression is an algebraic statement
containing Boolean variables and operators.
Precedence of Operators
To lessen the brackets used in writing Boolean
expressions, operator precedence can be used.
Precedence (highest to lowest): ' . +
Examples:
a . b + c = (a . b) + c
b' + c = (b') + c
a + b' . c = a + ((b') . c)
Precedence of Operators
Use brackets to overwrite precedence.
Examples:
a . (b + c)
(a + b)' . c
Truth Table
Provides a listing of every possible combination of
inputs and its corresponding outputs.
Example (2 inputs, 2 outputs):
x y x . y x + y
0 0 0 0
0 1 0 1
1 0 0 1
1 1 1 1
INPUTS OUTPUTS
Truth Table
Example (3 inputs, 2 outputs):
x y z y + z x.(y + z)
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 1 0
1 0 0 0 0
1 0 1 1 1
1 1 0 1 1
1 1 1 1 1
Proof using Truth Table
Can use truth table to prove by perfect induction.
Prove that: x . (y + z) = (x . y) + (x . z)
(i) Construct truth table for LHS & RHS of above equality.
(ii) Check that LHS = RHS
Postulate is SATISFIED because output column 5 & 8 (for
LHS & RHS expressions) are equal for all cases.
x y z y + z x.(y + z) x.y x.z (x.y)+(x.z)
0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 1 1 1 0 0 0 0
1 0 0 0 0 0 0 0
1 0 1 1 1 0 1 1
1 1 0 1 1 1 0 1
1 1 1 1 1 1 1 1
Duality
Duality Principle every valid Boolean
expression (equality) remains valid if the
operators and identity elements are
interchanged, as follows:
+ .
1 0
Example: Given the expression
a + (b.c) = (a+b).(a+c)
then its dual expression is
a . (b+c) = (a.b) + (a.c)
Duality
Duality gives free theorems two for the price of
one. You prove one theorem and the other comes
for free!
If (x+y+z)' = x'.y.'z' is valid, then its dual is also
valid:
(x.y.z)' = x'+y'+z
If x + 1 = 1 is valid, then its dual is also valid:
x . 0 = 0
Basic Theorems of Boolean
Algebra
Apart from the axioms/postulates, there are other
useful theorems.
1. Idempotency.
(a) x + x = x (b) x . x = x
Proof of (a):
x + x = (x + x).1 (identity)
= (x + x).(x + x') (complementarity)
= x + x.x' (distributivity)
= x + 0 (complementarity)
= x (identity)
Basic Theorems of Boolean
Algebra
2. Null elements for + and . operators.
(a) x + 1 = 1 (b) x . 0 = 0
3. Involution. (x')' = x
4. Absorption.
(a) x + x.y = x (b) x.(x + y) = x
5. Absorption (variant).
(a) x + x'.y = x+y (b) x.(x' + y) = x.y
Basic Theorems of Boolean
Algebra
6. DeMorgan.
(a) (x + y)' = x'.y'
(b) (x.y)' = x' + y'
7. Consensus.
(a) x.y + x'.z + y.z = x.y + x'.z
(b) (x+y).(x'+z).(y+z) = (x+y).(x'+z)
Basic Theorems of Boolean
Algebra
Theorems can be proved using the truth table
method. (Exercise: Prove De-Morgans theorem
using the truth table.)
They can also be proved by algebraic manipulation
using axioms/postulates or other basic theorems.
Basic Theorems of Boolean
Algebra
Theorem 4a (absorption) can be proved by:
x + x.y = x.1 + x.y (identity)
= x.(1 + y) (distributivity)
= x.(y + 1) (commutativity)
= x.1 (Theorem 2a)
= x (identity)
By duality, theorem 4b:
x.(x+y) = x
Try prove this by algebraic manipulation.
Boolean Functions
Boolean function is an expression formed with
binary variables, the two binary operators, OR and
AND, and the unary operator, NOT, parenthesis and
the equal sign.
Its result is also a binary value.
We usually use . for AND, + for OR, and ' or for
NOT. Sometimes, we may omit the . if there is no
ambiguity.
Boolean Functions
Examples:
F1= x.y.z'
F2= x + y'.z
F3=(x'.y'.z)+(x'.y.z)+(x.y')
F4=x.y'+x'.z
x y z F1 F2 F3 F4
0 0 0 0 0 0 0
0 0 1 0 1 1 1
0 1 0 0 0 0 0
0 1 1 0 0 1 1
1 0 0 0 1 1 1
1 0 1 0 1 1 1
1 1 0 1 1 0 0
1 1 1 0 1 0 0
From the truth table, F3=F4.
Can you also prove by algebraic manipulation that F3=F4?
Complement of Functions
Given a function, F, the complement of this
function, F', is obtained by interchanging 1 with 0 in
the functions output values.
x y z F1 F1'
0 0 0 0 1
0 0 1 0 1
0 1 0 0 1
0 1 1 0 1
1 0 0 0 1
1 0 1 0 1
1 1 0 1 0
1 1 1 0 1
Example: F1 = xyz'
Complement:
F1' = (x.y.z')'
= x' + y' + (z')' DeMorgan
= x' + y' + z Involution
Complement of Functions
More general DeMorgans theorems useful for
obtaining complement functions:
(A + B + C + ... + Z)' = A' . B' . C' . Z'
(A . B . C ... . Z)' = A' + B' + C' + + Z'
Standard Forms
Certain types of Boolean expressions lead to gating
networks which are desirable from implementation
viewpoint.
Two Standard Forms:
Sum-of-Products and Product-of-Sums
Literals: a variable on its own or in its
complemented form. Examples: x, x' , y, y'
Product Term: a single literal or a logical product
(AND) of several literals.
Examples: x, x.y.z', A'.B, A.B
Standard Forms
Sum Term: a single literal or a logical sum (OR) of
several literals.
Examples: x, x+y+z', A'+B, A+B
Sum-of-Products (SOP) Expression: a product
term or a logical sum (OR) of several product terms.
Examples: x, x+y.z', x.y'+x.y.z, A.B+A'.B'
Product-of-Sums (POS) Expression: a sum term
or a logical product (AND) of several sum terms.
Examples: x, x.(y+z'), (x+y').(x'+y+z),
(A+B).(A'+B')
Standard Forms
Every Boolean expression can either be expressed as
sum-of-products or product-of-sums expression.
Examples:
SOP: x'.y + x.y' + x.y.z
POS: (x + y').(x' + y).(x' + z')
both: x' + y + z or x.y.z'
neither: x.(w' + y.z) or z' + w.x'.y + v.(x.z + w')
Minterm & Maxterm
Consider two binary variables x, y.
Each variable may appear as itself or in
complemented form as literals (i.e. x, x' & y, y' )
For two variables, there are four possible
combinations with the AND operator, namely:
x'.y', x'.y, x.y', x.y
These product terms are called the minterms.
A minterm of n variables is the product of n literals
from the different variables.
Minterm & Maxterm
In general, n variables can give 2
n
minterms.
In a similar fashion, a maxterm of n variables is the
sum of n literals from the different variables.
Examples: x'+y', x'+y, x+y',x+y
In general, n variables can give 2
n
maxterms.
Minterm & Maxterm
The minterms and maxterms of 2 variables are
denoted by m0 to m3 and M0 to M3 respectively:
Minterms Maxterms
x y term notation term notation
0 0 x'.y' m0 x+y M0
0 1 x'.y m1 x+y' M1
1 0 x.y' m2 x'+y M2
1 1 x.y m3 x'+y' M3
Each minterm is the complement of the corresponding
maxterm:
Example: m2 = x.y'
m2' = (x.y')' = x' + (y')' = x'+y = M2
Canonical Form: Sum of
Minterms
What is a canonical/normal form?
A unique form for representing something.
Minterms are product terms.
Can express Boolean functions using Sum-of-Minterms form.
Canonical Form: Sum of
Minterms
a) Obtain the truth table. Example:
x y z F1 F2 F3
0 0 0 0 0 0
0 0 1 0 1 1
0 1 0 0 0 0
0 1 1 0 0 1
1 0 0 0 1 1
1 0 1 0 1 1
1 1 0 1 1 0
1 1 1 0 1 0
Canonical Form: Sum of
Minterms
b) Obtain Sum-of-Minterms by gathering/summing the
minterms of the function (where result is a 1)
F1 = x.y.z' = Em(6)
F2 = x'.y'.z + x.y'.z + x.y'.z + x.y.z + x.y.z
= Em(1,4,5,6,7)
F3 = x'.y'.z + x'.y.z
+ x.y'.z' +x.y'.z
= Em(1,3,4,5)
x y z F1 F2 F3
0 0 0 0 0 0
0 0 1 0 1 1
0 1 0 0 0 0
0 1 1 0 0 1
1 0 0 0 1 1
1 0 1 0 1 1
1 1 0 1 1 0
1 1 1 0 1 0
Canonical Form: Product of
Maxterms
Maxterms are sum terms.
For Boolean functions, the maxterms of a function
are the terms for which the result is 0.
Boolean functions can be expressed as Products-of-
Maxterms.
Canonical Form: Product of
Maxterms
E.g.: F2 = HM(0,2,3) = (x+y+z).(x+y'+z).(x+y'+z')
F3 = HM(0,2,6,7)
= (x+y+z).(x+y'+z).(x'+y'+z).(x'+y'+z')
x y z F1 F2 F3
0 0 0 0 0 0
0 0 1 0 1 1
0 1 0 0 0 0
0 1 1 0 0 1
1 0 0 0 1 1
1 0 1 0 1 1
1 1 0 1 1 0
1 1 1 0 1 0
Canonical Form: Product of
Maxterms
Why is this so? Take F2 as an
example.
F2 = Em(1,4,5,6,7)
The complement function of F2 is:
F2' = Em(0,2,3)
= m0 + m2 + m3
(Complement functions minterms
are the opposite of their original
functions, i.e. when
original function = 0)
x y z F2 F2'
0 0 0 0 1
0 0 1 1 0
0 1 0 0 1
0 1 1 0 1
1 0 0 1 0
1 0 1 1 0
1 1 0 1 0
1 1 1 1 0
Canonical Form: Product of
Maxterms
From previous slide, F2' = m0 + m2 + m3
Therefore:
F2 = (m0 + m2 + m3 )'
= m0' . m2' . m3' DeMorgan
= M0 . M2 . M3 mx' = Mx
= HM(0,2,3)
Every Boolean function can be expressed as either
Sum-of-Minterms or Product-of-Maxterms.
Conversion of Canonical Forms
Sum-of-Minterms Product-of-Maxterms
Rewrite minterm shorthand using maxterm shorthand.
Replace minterm indices with indices not already used.
Eg: F1(A,B,C) = m(3,4,5,6,7) = [M(0,1,2)
Product-of-Maxterms Sum-of-Minterms
Rewrite maxterm shorthand using minterm shorthand.
Replace maxterm indices with indices not already used.
Eg: F2(A,B,C) = [M(0,3,5,6) = m(1,2,4,7)
Conversion of Canonical Forms
Sum-of-Minterms of F Sum-of-Minterms of F'
In minterm shorthand form, list the indices not already used
in F.
Eg: F1(A,B,C) = m(3,4,5,6,7)
F1'(A,B,C) = m(0,1,2)
Product-of-Maxterms of F Prod-of-Maxterms of F'
In maxterm shorthand form, list the indices not already used
in F.
Eg: F1(A,B,C) = [M(0,1,2)
F1'(A,B,C) = [M(3,4,5,6,7)
Conversion of Canonical Forms
Sum-of-Minterms of F Product-of-Maxterms of F'
Rewrite in maxterm shorthand form, using the same indices
as in F.
Eg: F1(A,B,C) = m(3,4,5,6,7)
F1'(A,B,C) = [M(3,4,5,6,7)
Product-of-Maxterms of F Sum-of-Minterms of F'
Rewrite in minterm shorthand form, using the same indices
as in F.
Eg: F1(A,B,C) = [M(0,1,2)
F1'(A,B,C) = m(0,1,2)
Binary Functions
Given n variables, there are 2
n
possible minterms.
As each function can be expressed as sum-of-
minterms, there could be 2
2
n
different functions.
In the case of two variables, there are 2
2
=4 possible
minterms; and 2
4
=16 different possible binary
functions.
The 16 possible binary functions are shown in the
next slide.
Binary Functions
x y F
0
F
1
F
2
F
3
F
4
F
5
F
6
F
7
0 0 0 0 0 0 0 0 0 0
0 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1
Symbol
. / /
+
Name AND XOR OR
x y F
8
F
9
F
10
F
11
F
12
F
13
F
14
F
15
0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1
Symbol
+
'
c
'
|
Name
NOR XNOR NAND
End of file