Todas las funciones lógicas son expresables en forma canónica, tanto como una "suma de minterms" como "producto de maxterms".