Si tengo una expresión booleana formada por ANDs y XORs en forma algebraica normal, ¿hay algoritmos que puedan minimizar aún más el circuito?
Estoy buscando minimizar las puertas AND específicamente.
Estoy creando ANF a partir de una tabla de verdad, por lo que si hay una manera diferente de obtener un circuito formado por XOR y AND, comience con una tabla de verdad que tenga un número mínimo de AND que también sería útil. / p>
¡Gracias por cualquier ayuda que puedas brindar!
Editar: para ser más explícito, estoy limitado a usar xor y gates.