Logic Minimizer

Логіка Мінімайзер інноваційний, універсальний додаток для спрощення Карно карти і логічний крок вираження за кроком. Вона націлена на тих, хто бере участь в інженерних областях, точніше цифрових і формальної логіки вчених і академіків, цифрові пристрої конструкторів або хто пов'язаний з логічними виразами. З його можливостями потужний мінімізації та повноцінних можливостей, ви можете працювати з усіма формами логічних виразів.

Особливості:



Згорнути логічне і пропозіціональние формули до 24 змінних;

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

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

Виділіть зведено до мінімуму термін на Карта Карно;

Draw логічну схему з різними типами логічних елементів;

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

Перетворення формул логіки висловлювань в ДНФ і КНФ;

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

Підтримка всіх логічних і пропозіціональние оператори;

Формула-вхід дружній: Немає необхідності перетворити формулу перед входом;

Крок за кроком спрощення булевих і пропозіціональних виразів

Що нового У цьому випуску: ..

Версія 1.2.1 Windows 8 сумісний

Обмеження

Деякі функції відключені