Gate Logic: Two Level Canonical Forms
ANDed product of literals in which each
variable appears exactly once, in true or
complemented form (but not both!)
= A' B C + A B' C' + A B' C
canonical form/minimal form
F = A B' (C + C') + A' B C + A B (C' + C)
F = (A + B C)' = A' (B' + C') = A' B' + A' C'