Генератор таблицы истинности Генератор таблицы истинности

Быстрый старт

Постройте таблицу истинности или сравните выражения на эквивалентность.

  1. Введите выражение и при необходимости выражение для сравнения
  2. Постройте таблицу, чтобы обновить результат
  3. Проверьте контрпримеры и сохраните полную таблицу

Генератор таблицы истинности

Строит наглядные таблицы истинности с кнопками операторов, примерами, классификацией формулы, СДНФ, СКНФ, минтермами и экспортом.

Соберите таблицу истинности

Введите логическое выражение или соберите его кнопками операторов.

Сравнение учитывает переменные обоих выражений (не более 8) и выделяет контрпримеры. После изменения ввода постройте таблицу заново. Ограничение — 2000 символов на выражение.

Операторы

Также можно вводить NOT, AND, OR, XOR, NAND, NOR, IMPLIES и IFF.

Быстрые примеры

Выражение вычисляется локально в вашем браузере.

Распознанное выражение
(A ∧ B) → C
Зависит от значений
Переменные
A, B, C
Комбинации
8
Истинных строк
7
Ложных строк
1

Таблица истинности

PDF / Печать: Все (8)

#
A
B
C
Результат
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1

Канонические формы

СДНФ строится по истинным строкам, СКНФ — по ложным.

Совершенная ДНФ
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Совершенная КНФ
(¬A ∨ ¬B ∨ C)
Минтермы
Σm(0, 1, 2, 3, 4, 5, 7)
Макстермы
ΠM(6)

Генератор таблицы истинности онлайн

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

Определите тип формулы, отфильтруйте строки и экспортируйте таблицу вместе с СДНФ, СКНФ, минтермами и макстермами.

✓ Инструмент работает прямо в браузере и подходит для быстрых проверок без установки программ.
✓ Ввод можно очистить и пересчитать заново, что удобно для повторяющихся небольших задач.
✓ Используйте полноэкранный режим, когда нужно больше места для длинного текста, структурированных данных или крупного результата.
✓ Кнопки копирования помогают сразу перенести результат в код, документ или переписку поддержки.
✓ Большинство операций детерминированы: одинаковые входные данные и настройки дают одинаковый результат.
✓ Для чувствительных данных удобнее использовать локальные браузерные инструменты и проверять результат перед отправкой.

Другие сервисы

Калькулятор математических выражений
Калькулятор математических выражений
Калькулятор комбинаторики
Калькулятор комбинаторики
Модулярная арифметика
Модулярная арифметика
Конвертер DOC в PDF онлайн
Конвертер DOC в PDF онлайн
Конвертер DOCX в PDF онлайн
Конвертер DOCX в PDF онлайн
Конвертер ODT в PDF онлайн
Конвертер ODT в PDF онлайн

Отзывы пользователей

Отзывы проходят модерацию. Публикуем реальные положительные отзывы и конкретную критику. Спам и оскорбления без полезных подробностей не публикуем; мат и личные данные скрываем символами. Плюсы учитываются сразу, минусы — после проверки.

Отзывы описывают опыт пользователей и не гарантируют результат или отсутствие ограничений сервиса. Оставить отзыв можно с помощью кнопок оценки выше.

На этом языке пока нет опубликованных отзывов.