eXpimal — Logic calculator

Наиболее функциональный калькулятор по математической логике.
Программа умеет:
— строить таблицы истинности;
— находить ДНФ, КНФ, СДНФ и СКНФ функции;
— находить полином Жегалкина (метод неопределенных коэффициентов и метод треугольника Паскаля);
— строить карты Карно;
— минимизировать булевы функции с помощью эквивалентных преобразований (как кратко, так и подробно), а также методом Мак-Класки;
— минимизировать частично определенные функции;
— проверять принадлежность к классам Поста;
— строить релейно-контактные схемы;
— строить логические схемы (как в стандарте IEC (ГОСТ), так и в стандарте ANSI).
Булевы функции могут быть представлены разными символами.
Унарная операция «отрицание» может быть представлена как одиночным символом, так и чертой сверху.

Максимальное число разных переменных в функции — 6.
Максимальное число вложенных отрицаний в функции — 5.
Максимальное число символов в функции — 64.
При работе с вектором значений возможно использовать только карты Карно, СКНФ и СДНФ, полином Жегалкина и метод Мак-Класки.
Длина вектора значений должна быть 4, 8, 16, 32 или 64 символов.
В функции допускается использовать 0 и 1, но в этом случае будет доступно только упрощение функции.
При построении логической схемы недопустимо использовать импликацию.

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

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

Скачайте приложение eXpimal — Logic calculator для iOS - последняя версия (2.4.9) уже доступна для установки на ваш iPhone или iPad.