Escriu una funció utilitzant & (AND), | (OR), ! (NOT).
Primer, descomposem la teva fórmula matemàtica en una jerarquia d'operacions perquè l'ordinador entengui què va primer.
Substituïm cada node de l'arbre per la seva equivalència estricta en portes NAND. Observa com el circuit creix ràpidament de forma ineficient.
L'optimitzador rastreja el circuit buscant el patró NOT(NOT(X)) i el talla, connectant els cables directament, ja que negar dues vegades un senyal és redundant.
Ara es busquen agrupacions ineficients, com la construcció d'un AND seguida immediatament d'un NOT. Tot això es fusiona directament en una sola porta NAND.
El resultat definitiu. S'han compactat els senyals duplicats utilitzant punts de soldadura (Splitters) en lloc de replicar l'esquema lògic.