eXpimal 1.1
Данная программа поможет Вам решить различные задачи по математической логике. Возможности программы: - построение таблицы истинности; - нахождение полинома Жегалкина; - нахождение СКНФ и СДНФ; - минимизация булевой функции с помощью карт Карно; - проверка эквивалентности двух функций. Готовые вычисления выводятся подробно, со всеми промежуточными результатами и комментариями.
