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)