Problema de lógica booleana finalmente resuelto (Inglés)

Si tienes un montón de bits de entrada que alimentan una matriz de puertas lógicas OR, AND y XOR, lo primero que debe hacer es averiguar qué bits son significativos y cuáles son "indiferentes". Con un circuito lo suficientemente simple y un poco de práctica, puedes simplemente mirarlo. Si un OR de dos entradas tiene una entrada verdadera, la otra entrada no importa. De manera similar, un AND de dos entradas con una entrada atada como falso no se preocupa por la otra entrada. Si el OR alimenta al AND, ahora tiene tres entradas,