Онлайн конвертер булевых выражений
Преобразуйте логическое выражение в таблицу истинности и канонические формы (СДНФ, СКНФ). До 6 переменных, поддержка NOT, AND, OR. Бесплатно и без регистраци…
Начать работу
Возможности и пример работы
Инструмент предназначен для студентов и инженеров, изучающих булеву алгебру. Он помогает проверить эквивалентность выражений, построить таблицу истинности и получить канонические формы.
Пример: A && (B || !C)
Введите это выражение. Инструмент построит таблицу истинности для переменных A, B, C. Истинные строки: 100, 110, 111 (где 1=true, 0=false). СДНФ начнётся так: (A && !B && !C) || (A && B && !C) || (A && B && C).
Параметры и ограничения
- Поддерживается до шести различных переменных (A-Z, a-z). При большем количестве выдаётся ошибка.
- Приоритет операторов: сначала NOT, затем AND, затем OR.
- Не поддерживаются XOR, импликация, эквивалентность, числовые константы 0/1, схемы.
- Все вычисления выполняются локально в браузере, данные не отправляются на сервер.
Часто задаваемые вопросы
Что делать, если я ввёл больше шести переменных?
Инструмент выдаст сообщение об ошибке. Упростите выражение или разбейте его на части.
Почему результат не минимизирован?
Данный конвертер выдаёт канонические формы (СДНФ/СКНФ) без алгебраической минимизации. Для упрощения используйте отдельный инструмент «Карты Карно».
Можно ли использовать операторы XOR или другие?
Нет, поддерживаются только NOT, AND, OR и скобки. Используйте эквивалентные выражения через базовые операторы.
Обработка выполняется локально в вашем браузере.