Logic Minimizer

Logic Minimizer é uma aplicação inovadora, versátil para simplificar mapas de Karnaugh e expressões passo lógico a passo. Ele é voltado para aqueles envolvidos no campo da engenharia, mais precisamente estudiosos de lógica digital e formais e acadêmicos, dispositivos de construtores digitais ou qualquer pessoa envolvida com expressões lógicas. Com as suas capacidades poderosas de minimização e características de pleno direito, você pode trabalhar com todas as formas de expressões lógicas.

Características:



Minimizar booleana e fórmulas proposicionais até 24 variáveis;

Converter fórmulas booleanas para SOP, POS e notação decimal;

Trabalhar com o mapa de Karnaugh, mesa de verdade e conjuntos de termos;

Destaque prazo minimizado na Karnaugh Map;

Desenhe circuito lógico com vários tipos de portas lógicas;

Otimizar fórmula booleana simplificada com portas XOR;

Converter fórmulas proposicionais em DNF e CNF;

Encontre validade de fórmulas proposicionais;

Suporte todos os operadores booleanos e proposicional;

Formula-friendly-entrada: não há necessidade de transformar a sua fórmula antes de entrar;

Passo a passo, a simplificação dos booleana e expressões proposicionais

O que é novo nesta versão:..

Versão 1.2.1 é compatível com Windows 8

Limitações :

Alguns recursos desativados