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,

[#1 box3d]

Interesante. Me he tenido que pegar con alguna optimización lógica y a veces es un asunto de fuerza bruta y fe.
A ver cuando empezamos a ver aplicaciones directas de este descubrimiento, así desde la barrera, podría mejorar la eficiencia de las simulaciones de circuitos.

[#2 --8899--]

Me lo he leído por encima y... ¿esto no es el método "de toda la vida" de simplificación de circuitos lógicos?

[#3 mecha]

#1 Si no es mucho preguntar, ¿a qué te dedicas para tener que hacer simulaciones de circuitos? Recuerdo estudiar esto en ingeniería informática, estaba entretenido pero no es algo que haya puesto en práctica luego jamás.

[#4 box3d]

#3 parte de mi curro implica trabajar con FPGAs, los simuladores no son particularmente rápidos cuando el circuito es grande. Esta clase de matemáticas podría ayudar a esos programas.

Respecto a optimizar, a veces un circuito tiene que responder en menos de x tiempo (o con un reloj de x frecuencia) una vez sintetizado en la FPGA, y hay que tener bastante cuidado de no introducir retardos.