Canonical and Standard Form - GeeksforGeeks
Canonical and Standard Form - GeeksforGeeks
Aptitude Engineering Mathematics Discrete Mathematics Operating System DBMS Computer Netw
https://www.geeksforgeeks.org/canonical-and-standard-form/ 1/10
21/02/2025, 18:38 Canonical and Standard Form - GeeksforGeeks
Sum of minterms –
The minterms whose sum defines the Boolean function are those which
give the 1’s of the function in a truth table. Since the function can be
either 1 or 0 for each minterm, and since there are 2^n minterms, one
can calculate all the functions that can be formed with n variables to be
(2^(2^n)). It is sometimes convenient to express a Boolean function in
its sum of minterm form.
Product of maxterms –
Solution –
A = A(B + B’) = AB + AB’
This function is still missing one variable, so
A = AB(C + C’) + AB'(C + C’) = ABC + ABC’+ AB’C + AB’C’
The second term B’C is missing one variable; hence,
B’C = B’C(A + A’) = AB’C + A’B’C
Combining all terms, we have
F = A + B’C = ABC + ABC’ + AB’C + AB’C’ + AB’C + A’B’C
But AB’C appears twice, and
according to theorem 1 (x + x = x), it is possible to remove
one of those occurrences. Rearranging the minterms in
ascending order, we finally obtain
F = A’B’C + AB’C’ + AB’C + ABC’ + ABC
= m1 + m4 + m5 + m6 + m7
SOP is represented as Sigma(1, 4, 5, 6, 7)
Example – Express the Boolean function F = xy + x’z as a product of
maxterms
Solution –
F = xy + x’z = (xy + x’)(xy + z) = (x + x’)(y + x’)(x + z)(y + z) =
(x’ + y)(x + z)(y + z)
x’ + y = x’ + y + zz’ = (x’+ y + z)(x’ + y + z’)
x + z = x + z + yy’ = (x + y + z)(x + y’ + z)
y + z = y + z + xx’ = (x + y + z)(x’ + y + z)
F = (x + y + z)(x + y’ + z)(x’ + y + z)(x’ + y + z’)
= M0*M2*M4*M5
POS is represented as Pi(0, 2, 4, 5)
Example –
Solution – F(A, B, C) = Sigma(1, 4, 5, 6, 7)
F'(A, B, C) = Sigma(0, 2, 3) = m0 + m2 + m3
Now, if we take the complement of F’ by DeMorgan’s
theorem, we obtain F in a different form:
F = (m0 + m2 + m3)’
= m0’m2’m3′
= M0*M2*M3
= PI(0, 2, 3)
https://www.geeksforgeeks.org/canonical-and-standard-form/ 3/10
21/02/2025, 18:38 Canonical and Standard Form - GeeksforGeeks
Dreaming of M.Tech in IIT? Get AIR under 100 with our GATE 2026
CSE & DA courses! Get flexible weekday/weekend options, live
mentorship, and mock tests. Access exclusive features like All India
Mock Tests, and Doubt Solving—your GATE success starts now!
Similar Reads
Minimal to Canonical Form Conversion
Canonical Form is also called standard form, we directly obtained it from
truth table and hence we have all the variable in normal or complimente…
2 min read
https://www.geeksforgeeks.org/canonical-and-standard-form/ 5/10