← Математика

Таблиця істинності та логічний аналізатор (DNF/CNF, спрощена SOP)

Вводьте логічні вирази, переглядайте повну таблицю істинності, канонічні DNF/CNF і спрощення через карту Карно або Quine–McCluskey. Результат можна експортувати в CSV або поділитися URL.

Інші мови 日本語 | English | 简体中文 | 繁體中文 | 繁體中文（香港） | Español | Español (México) | Português (Brasil) | Português (Portugal) | Bahasa Indonesia | Tiếng Việt | 한국어 | Français | Deutsch | Italiano | Русский | हिन्दी | العربية | বাংলা | اردو | Türkçe | ไทย | Polski | Filipino | Bahasa Melayu | فارسی | Nederlands | Українська | עברית | Čeština
Параметри відображення

Оператори: ! ~ (NOT), & ∧ (AND), ^ (XOR), | ∨ (OR), -> (імплікація), <-> (еквівалентність); константи 0 1 T F. Імена змінних не чутливі до регістру та сортуються за абеткою.

Підсумок результату

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

Які оператори підтримуються?

Використовуйте ! або ~ для заперечення, & або ∧ для AND, ^ для XOR, | або ∨ для OR, -> для імплікації, <-> для еквівалентності, а також константи 0, 1, T, F.

Як обирається спрощення: Карно чи Квайн-МакКласкі?

До чотирьох змінних інструмент групує мінтерми як у карті Карно. Для п’яти або шести змінних застосовується метод Квайна-МакКласкі з вибором Петріка. Понад шість змінних використовується канонічна ДНФ.

Схожі калькулятори