Специально для nashstore.ru выпущена онлайн версия популярного калькулятора по математической логике.
Для работы программы необходим интернет - все расчеты выполняются на сервере!
Калькулятор предоставляется бесплатно, но для некоторых функций необходим пароль. Как его приобрести можно узнать на https://tablica-istinnosti.ru/ru/.
После приобретения пароля его необходимо ввести в программу «Меню -> Настройки -> Пароль»

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

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

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