Sufficiency
lWe
know that functions and, or, and not
are sufficient to realize any logic function.
lTwo
proofs:
lminterm expansion: a sum of minterms, and each minterm uses and and not only
lBoole-Shannon expansion (applied recursively)