Онлайн конвертер булевих виразів
Перетворіть булевий вираз у таблицю істинності та канонічні ДНФ/КНФ. Підтримка до 6 змінних, оператори NOT, AND, OR. Спробуйте зараз. Обробка виконується лок…
Почати роботу
Можливості та приклад роботи
Що робить цей інструмент
Конвертер булевих виразів аналізує введений вираз за допомогою власного токенізатора та рекурсивного синтаксичного аналізатора. Він не використовує JavaScript eval, тому вираз не виконується як код. Підтримуються змінні, що починаються з літери, дужки, оператори NOT, AND, OR та константи true/false. Словесні оператори та константи нечутливі до регістру, але імена змінних чутливі.
Пріоритет операторів
Спочатку виконується NOT, потім AND, потім OR. Наприклад, вираз A && (B || !C) обробляється з урахуванням дужок: спочатку обчислюється !C, потім B || !C, і нарешті A && (результат).
Конкретний приклад
Для виразу A && (B || !C) істинними є рядки 100, 110 та 111 (у порядку A, B, C). Канонічна ДНФ починається так: (A && !B && !C) || (A && B && !C) || (A && B && C). Повна таблиця істинності та КНФ також будуть показані.
Обмеження
Інструмент приймає не більше шести різних змінних, що дає максимум 64 рядки таблиці. Якщо змінних більше, виводиться помилка. Не підтримуються операції XOR, імплікація, еквівалентність, числові константи 0/1, схеми та понад шість змінних. Канонічні форми не мінімізуються; для спрощення використовуйте окремий інструмент карт Карно.
Конфіденційність
Усі обчислення виконуються локально у вашому браузері. Вираз не надсилається на сервер.
Поширені запитання
Чому я отримую помилку при введенні виразу?
Помилка виникає, якщо вираз містить неприпустимі символи, неправильний синтаксис або незбалансовані дужки. Також помилка з'являється, якщо використано більше шести різних змінних. Перевірте правильність написання операторів і назв змінних.
Як інтерпретувати таблицю істинності?
Таблиця містить стовпці для кожної змінної та стовпець результату. Рядки впорядковані так, що false (0) передує true (1), а остання змінна змінюється найшвидше. Наприклад, для трьох змінних порядок буде: 000, 001, 010, 011, 100, 101, 110, 111.
Чи можна використовувати оператори XOR або імплікацію?
Ні, підтримуються лише NOT, AND, OR та дужки. Якщо вам потрібні інші операції, спробуйте виразити їх через базові, або скористайтеся іншим інструментом.
Контрольний список для успішного використання
- Використовуйте лише змінні, що починаються з літери (A-Z, a-z).
- Переконайтеся, що всі дужки збалансовані.
- Не використовуйте більше шести різних змінних.
- Пам'ятайте про пріоритет: NOT > AND > OR.
- Для складних виразів використовуйте дужки, щоб уникнути неоднозначності.
Обробка виконується локально у вашому браузері.