Наиболее функциональный калькулятор по математической логике. Программа умеет: - строить таблицы истинности; - находить ДНФ, КНФ, СДНФ и СКНФ функции; - находить полином Жегалкина (метод неопределенных коэффициентов и метод треугольника Паскаля); - строить карты Карно; - минимизировать булевы функции с помощью эквивалентных преобразований (как кратко, так и подробно), а также методом Мак-Класки; - проверять принадлежность к классам Поста; - строить релейно-контактные схемы; - строить логические схемы (как в стандарте IEC (ГОСТ), так и в стандарте ANSI). Булевы функции могут быть представлены разными символами. Унарная операция "отрицание" может быть представлена как одиночным символом, так и чертой сверху. Максимальное число разных переменных в функции - 6. Максимальное число вложенных отрицаний в функции - 5. Максимальное число символов в функции - 64. При работе с вектором значений возможно использовать только карты Карно, СКНФ и СДНФ, полином Жегалкина и метод Мак-Класки. Длина вектора значений должна быть 4, 8, 16, 32 или 64 символов. В функции допускается использовать 0 и 1, но в этом случае будет доступно только упрощение функции. При построении логической схемы недопустимо использовать импликацию. Отсутствует реклама. Работа программы интуитивно понятна и не вызывает каких либо сложностей. Все результаты показываются подробно, с комментариями.