Simplificación de funciones booleanas complejas.