Aplicación para minimizar una función lógica (canónica) por el método de Karnaugh.