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

  1. Ввід
  2. Опції
  3. Результат

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

Створюйте та досліджуйте таблиці істинності за допомогою кнопок операторів, прикладів, класифікації формул, канонічних DNF і CNF, мінтермів і експорту.

Побудуйте таблицю істинності

Введіть логічний вираз або зіберіть його за допомогою кнопок оператора.

Додаткове порівняння використовує об’єднання змінних (до 8) і виділяє контрприклади. Змініть вхідні дані, а потім побудуйте таблицю, щоб оновити результат. Довжина кожного виразу обмежена 2000 символами.

Оператори логічного виразу

Ви також можете ввести NOT, AND, OR, XOR, NAND, NOR, IMPLIES і IFF.

Швидкі приклади

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

Розібраний вираз
(A ∧ B) → C
Умовна логічна формула
Змінні
A, B, C
Комбінації
8
Рядки з результатом 1
7
Рядки з результатом 0
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

Канонічні булеві форми

Канонічний DNF будується з рядків таблиці з результатом 1; канонічний CNF будується з рядків таблиці з результатом 0.

Канонічна диз'юнктивна нормальна форма (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Канонічна сполучна нормальна форма (CNF)
(¬A ∨ ¬B ∨ C)
Логічні мінтерми
Σm(0, 1, 2, 3, 4, 5, 7)
Логічні макстерми
ΠM(6)

Створення таблиць істинності онлайн

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

Класифікуйте формулу як тавтологію, протиріччя чи випадковість, відфільтруйте рядки та експортуйте таблицю разом із канонічними DNF, CNF, мінтермами та макстермами.

Швидкий старт

Побудуйте таблицю істинності або порівняйте два вирази на еквівалентність.

  1. Введіть вираз і необов’язкове порівняння
  2. Побудуйте таблицю для оновлення результату
  3. Перегляньте контрприклади та експортуйте повну таблицю
✓ Інструмент працює прямо в браузері та підходить для швидких перевірок без встановлення програм.
✓ Ввід можна одразу очистити й перерахувати, що зручно для повторюваних невеликих задач.
✓ Використовуйте повноекранний режим, коли потрібно більше місця для довгого тексту, структурованих даних або великих результатів.
✓ Кнопки копіювання допомагають переносити результат у код, документи або листування підтримки.
✓ Більшість операцій детерміновані: однакові дані та налаштування дають однаковий результат.
✓ Для чутливих даних зручніше використовувати локальні браузерні інструменти й перевіряти результат перед надсиланням.

Інші інструменти

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

Відгуки користувачів

Відгуки перевіряються перед публікацією. Ми публікуємо справжні позитивні відгуки та конкретну критику. Спам і образи без корисних деталей не публікуються; нецензурна лексика та особисті дані маскуються. Позитивні голоси підраховуються негайно; негативні голоси підраховуються після перегляду.

Відгуки відображають досвід користувачів, а не гарантію результатів чи опис обмежень послуги. Використовуйте кнопки оцінки вище, щоб залишити відгук.

Ще немає опублікованих оглядів цією мовою.