Canonical Forms
Canonical Forms
Canonical/Standard Forms
Minterm : A product term in which all variables (primed or unprimed) appear once and only
n
once, i.e. if a function has n variable, then there are 2 possible unique minterms. Each
n
minterms has a value of 1 for only one of the 2 possible values and Zero for all other value.
A symbol for each minterm is of the form m k where k denotes the decimal equivalent of the binary.
Example: The truth table below illustrates the form of all possible minterms for 3-variables.
W
0
0
0
0
1
1
1
1
X
0
0
1
1
0
0
1
1
Y
0
1
0
1
0
1
0
1
TERM
W.X.Y
W.X.Y
W.X.Y
W.X.Y
W.X.Y
W.X.Y
W.X.Y
W.X.Y
DESIGNATION
m0
m1
m2
m3
m4
m5
m6
m7
Sum Term : A function that is defined to be the logical OR of a set of variables that are either
primed(not) or unprimed, i.e. if f(A,B,C,D)is a function, the sum terms of the function can be
(A+B), (B+C+D) , (A+B+C+D) , and etc.
Maxterm : A sum term in which all variables (primed or unprimed) appear once and only
n
once, i.e. if a function has n variable, then there are 2 possible unique maxterms. Each
n
maxterms has a value of 0 for only one of the 2 possible values and one for all other value. A
symbol for each maxterm is of the form Mk where k denotes the decimal equivalent of the binary.
Example: The truth table below illustrates the form of all possible maxterms for 3-variables.
W
0
0
0
0
1
1
1
1
X
0
0
1
1
0
0
1
1
Y
0
1
0
1
0
1
0
1
TERM
DESIGNATION
W+X+Y
M0
W+X+Y
M1
W+X+Y
M2
W+X+Y
M3
W+X+Y
M4
W+X+Y
M5
W+X+Y
M6
W+X+Y
M7
Klinkhachorn:Cpe 71:9/25/1999
CANONICAL REPRESENTATION OF
LOGIC FUNCTION
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C F(A,B,C)
0
1
1
0
0
0
1
1
0
1
1
0
0
0
1
0
F(A,B,C) = m(0,3,4)
= m0 +m3 +m4
= A.B.C+A.B.C+A.B.C
The function is said to be represented in the
canonical sum of products form.
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C F(A,B,C)
0
1
1
0
0
0
1
1
0
1
1
0
0
0
1
0
F(A,B,C) = M(1,2,5,6,7)
= M1 .M2 .M5 .M6 .M7
=(A+B+C) (A+B+C) (A+B+C) (A'+B'+C) (A'+B'+C')
= M (0,1,2)
= m(3)
Klinkhachorn:Cpe 71:9/25/1999