Онлайн-перетворення таблиці істинності в логічний вираз
Введіть змінні та мінтерми, отримайте канонічну ДНФ. Приклад: A,B і мінтерми 1,2 дають (!A && B) || (A && !B). Обробка виконується локально у вашому браузері.
Почати роботу
Що робить цей інструмент
Цей інструмент перетворює таблицю істинності, задану списком мінтермів, у логічний вираз. Він корисний, коли потрібно отримати аналітичний запис булевої функції для подальшого використання в програмуванні чи схемотехніці.
Приклад роботи
Нехай змінні A,B. Якщо ввести мінтерми 1,2, то отримаємо вираз: (!A && B) || (A && !B). Це відповідає виключному АБО (XOR).
Параметри та обмеження
- Кількість змінних: від 1 до 6.
- Ідентифікатори змінних — унікальні ASCII-символи, розділені комами.
- Мінтерми — цілі числа від 0 до 2^n - 1.
- Дублікати мінтермів видаляються автоматично.
- Порожній список мінтермів дає результат
false. - Вираз не мінімізується; для мінімізації використовуйте інструмент карт Карно.
Обмеження інструмента
Цей інструмент не приймає байдужі стани (don't-care), не будує КНФ/ВПФ, не малює схеми та не імпортує таблицю істинності у вигляді таблиці. Він лише формує канонічну ДНФ.
Поширені запитання
Чи можна вводити змінні з пробілами?
Ні, ідентифікатори мають бути окремими ASCII-символами без пробілів, розділеними комами.
Що означає символ ! у виразі?
Символ ! позначає логічне НЕ (заперечення). Наприклад, !A означає «не A».
Чому вираз не спрощений?
Інструмент видає канонічну ДНФ без мінімізації. Якщо потрібен спрощений вираз, скористайтеся інструментом карт Карно.
Обробка виконується локально у вашому браузері.