Logic Minimizer

Логика Minimizer является инновационным, универсальное приложение для упрощения Карно карты и логический шаг за шагом выражения. Она нацелена на тех, кто участвует в инженерных областях, точнее цифровых и формальной логики ученых и академиков, цифровых устройств конструкторов или кто связан с логическими выражениями. С его возможностями мощный минимизации и полноценных возможностей, вы можете работать со всеми формами логических выражений.

Особенности:



Минимизировать логическое и пропозициональные формулы до 24 переменных;

Преобразование логических формул в СОП, POS и десятичной системе счисления;

Работа с Карно карте, таблицы истинности и наборов терминов;

Выделите свернутом срок на карте Карно;

Draw логическую схему с различными типами логических элементов;

Оптимизация упрощенную формулу логическое XOR с воротами;

Преобразование формул в пропозициональные DNF CNF и;

Найти обоснованность пропозициональных формул;

Поддержка всех булевых и пропозициональных операторов;

Формула-вход для пользователей: нет необходимости преобразовать формулу перед входом;

Шаг за шагом упрощения булевых выражений и высказываний

Что нового В этом выпуске:..

Версия 1.2.1 для Windows 8 совместим

Ограничения

Некоторые функции отключены