⌕
Головна / Калькулятори / Онлайн-перетворення таблиці істинності в логічний вираз
Безкоштовні онлайн-інструменти

Онлайн-перетворення таблиці істинності в логічний вираз

Введіть змінні та мінтерми, отримайте канонічну ДНФ. Приклад: A,B і мінтерми 1,2 дають (!A && B) || (A && !B). Обробка виконується локально у вашому браузері.

Почати роботу

Що робить цей інструмент

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

Приклад роботи

Нехай змінні A,B. Якщо ввести мінтерми 1,2, то отримаємо вираз: (!A && B) || (A && !B). Це відповідає виключному АБО (XOR).

Параметри та обмеження

  • Кількість змінних: від 1 до 6.
  • Ідентифікатори змінних — унікальні імена, що починаються з літери ASCII; далі дозволено літери ASCII, цифри й підкреслення. Імена розділяють комами.
  • Мінтерми — цілі числа від 0 до 2^n - 1.
  • Дублікати мінтермів видаляються автоматично.
  • Порожній список мінтермів дає результат false.
  • Вираз не мінімізується; для мінімізації використовуйте інструмент карт Карно.

Обмеження інструмента

Цей інструмент не приймає байдужі стани (don't-care), не будує КНФ (POS), не малює схеми та не імпортує таблицю істинності у вигляді таблиці. Він лише формує канонічну ДНФ.

Поширені запитання

Чи можна вводити змінні з пробілами?

Пробіли всередині імен не дозволені, але пробіли навколо імен видаляються. Ім’я починається з літери ASCII; далі можна використовувати літери ASCII, цифри й підкреслення, наприклад Flag_2.

Що означає символ ! у виразі?

Символ ! позначає логічне НЕ (заперечення). Наприклад, !A означає «не A».

Чому вираз не спрощений?

Інструмент видає канонічну ДНФ без мінімізації. Якщо потрібен спрощений вираз, скористайтеся інструментом карт Карно.

Повторювані індекси мінтермів враховуються один раз, у порядку першої появи. Назви AND, OR, NOT, true і false зарезервовано незалежно від регістру. Кожне поле введення приймає не більше 500 000 кодових одиниць UTF-16; такий самий ліміт діє для згенерованого виразу. Використовуйте короткі назви, оскільки кожен вибраний рядок повторює всі змінні. Вираз не мінімізується. Інструмент карт Карно на цьому сайті підтримує не більше чотирьох змінних.

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