Logic Minimizer

Lógica Minimizer es una aplicación innovadora y versátil para la simplificación de mapas de Karnaugh y expresiones lógico paso a paso. Está dirigido a los involucrados en los campos de ingeniería, más precisamente estudiosos y académicos de lógica digital y formales, dispositivos constructores digitales o cualquier persona involucrada con expresiones lógicas. Con sus capacidades de gran alcance de minimización y características de pleno derecho, se puede trabajar con todas las formas de expresiones lógicas.

Características:



Minimizar Boole y fórmulas proposicionales hasta 24 variables;

Convertir fórmulas booleanas en SOP, POS y la notación decimal;

Trabajar con el mapa de Karnaugh, tabla de verdad y conjuntos de términos;

Resaltar término minimizado en Karnaugh Map;

Dibuje circuito lógico con varios tipos de puertas lógicas;

Optimizar fórmula booleana simplificada con puertas XOR;

Convertir fórmulas proposicionales en DNF y CNF;

Encuentra validez de fórmulas proposicionales;

Soporta todos los operadores booleanos y propositivos;

Fórmula-input-amigable: no hay necesidad de transformar su fórmula antes de entrar;

Paso a paso simplificación de Boole y expresiones proposicionales

¿Cuál es nuevo en esta versión:..

La versión 1.2.1 es Windows 8 compatible

Limitaciones :

Algunas funciones deshabilitadas