Logic Minimizer загрузить

"Минимизировать & пропозициональных логических выражений с помощью карт Карно
indir.biz Редактора: Логика Minimizer, т. е. логические выражения и высказывания специальных приложений для упрощения логических выражений. Он расположен в области инжиниринга, а точнее цифровой и формальной логики и ученых, малые цифровых устройств, марок или для каждого логического заявлений.

---

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

---

Минимизация булевых и 8 переменных пропозициональных формул
SOP, POS и десятичной системе счисления для преобразования булевых формул
Карно карт, таблиц истинности, и работать с наборами условий
Выделите карта Карно
Булевы формулы с нашими оптимизирован упрощенный мини-Term XOR ворот
Пропозициональные преобразования формул в ДНФ и КНФ
Между пропозициональных формул действительны
Поддержка всех булевых операторов и высказываний
Формула-ввод-дружественные: не нужно загрузить бесплатно перед входом в формулу перевода логики Minimizer 1,1 сейчас.