Gate Logic: 2 Level Canonical Forms
Product of Sums / Conjunctive Normal Form / Maxterm Expansion
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 F is 0
0 in input column implies true literal
1 in input column implies complemented
= (A + B + C) (A + B + C') (A + B' + C)
F’(A,B,C) = ?M(3,4,5,6,7)
= (A + B' + C') (A' + B + C) (A' + B + C') (A' + B' + C) (A' + B' + C')