eXpimal - Logic calculator

Наиболее функциональный калькулятор по математической логике.

Программа умеет:

- строить таблицы истинности;

- находить по таблице истинности СКНФ и СДНФ;

- находить ДНФ, КНФ, СДНФ и СКНФ функции с помощью эквивалентных (равносильных) преобразований;

- находить полином Жегалкина методом неопределенных коэффициентов и методом треугольника Паскаля;

- строить карты Карно;

- минимизировать булевы функции с помощью эквивалентных (равносильных) преобразований, а также методом Мак-Класки;

- проверять принадлежность к классам Поста;

- преобразовывать ДНФ в базис И-НЕ и КНФ в базис ИЛИ-НЕ (с построением логических схем в этих базисах);

- строить релейно-контактные схемы;

- строить интерактивные логические схемы.

Булевы функции могут быть представлены разными символами.

Унарная операция "отрицание" может быть представлена как одиночным символом, так и чертой сверху.

Максимальное число разных переменных в функции - 6.

Максимальное число вложенных отрицаний в функции - 5.

Максимальное число символов в функции - 64.

При работе с вектором значений возможно использовать только карты Карно, СКНФ и СДНФ, полином Жегалкина и метод Мак-Класки.

Длина вектора значений должна быть 4, 8, 16, 32 или 64 символов.

В функции допускается использовать 0 и 1, но в этом случае будет доступно только упрощение функции.

При построении логической схемы недопустимо использовать импликацию.

Отсутствует реклама.

Работа программы интуитивно понятна и не вызывает каких либо сложностей. Все результаты показываются подробно, с комментариями.