Онлайн-генератор таблицы истинности
Постройте таблицу истинности для булева выражения с NOT, AND, OR. Введите выражение, получите результат с разделителями табуляции.
Начать работу
Создайте таблицу истинности и при необходимости канонические ДНФ/КНФ. Это полные формы без алгебраической минимизации; не более шести переменных.
A AND NOT B 00 → 0; 01 → 0; 10 → 1; 11 → 0
Возможности и пример работы
Этот инструмент вычисляет таблицу истинности для булева выражения. Он не является симулятором схем и не упрощает выражения. Поддерживаются только операторы NOT, AND, OR и скобки; XOR, импликация, равенство и другие операции не поддерживаются.
Пример: выражение A && !B
Введите A && !B. Переменные упорядочиваются по первому появлению: A, затем B. Строки перечисляют все двоичные назначения от всех нулей до всех единиц: (0,0), (0,1), (1,0), (1,1). Результат равен 1 только для строки A=1, B=0.
Ограничения
- Максимум 6 различных переменных (до 64 строк).
- Длина выражения до 1000 символов.
- Недопустимые символы и несбалансированные скобки отклоняются.
- Приоритет операторов: NOT, затем AND, затем OR.
Часто задаваемые вопросы
Что делать, если я ввожу выражение с пробелами?
Пробелы игнорируются, если они не внутри имени переменной. Вы можете использовать пробелы для удобства чтения.
Почему в результате нет колонки для констант?
Константы true и false не отображаются как переменные, они учитываются при вычислении результата.
Можно ли изменить порядок переменных?
Нет, порядок фиксирован по первому появлению переменной в выражении.
Обработка выполняется локально в вашем браузере.