Simplificación de las funciones de Boole (opcionalmente)