Product of Sums: Conjunctive Normal Form
Maxterm Shorthand Notation
for a Function of Three Variables
ORed sum of literals in which each
variable appears exactly once in either
true or complemented form, but not both!
Find truth table rows where ƒ is 0
0 in input column implies true literal
1 in input column implies complemented
= (A + B + C) (A + B + C') (A + B' + C)
ƒ'(A,B,C) = PM(3,4,5,6,7)
= (A + B' + C) (A' + B + C) (A' + B + C') (A' + B' + C) (A' + B' + C')