eXpimal - Logic calculator

Описание приложения

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