Підсумок результату
Як це обчислено
Таблиця істинності
Канонічні форми / Спрощена СДНФ
Поширені запитання
Які оператори підтримуються?
Використовуйте ! або ~ для NOT, & або ∧ для AND, ^ для XOR, | або ∨ для OR, -> для імплікації, <-> для еквівалентності, а також константи 0, 1, T, F.
Як обирається спрощення: Карно чи Квайн-МакКласкі?
До чотирьох змінних інструмент групує мінтерми як у карті Карно. Для п’яти або шести змінних застосовується метод Квайна-МакКласкі з вибором Петріка. Понад шість змінних використовується канонічна ДНФ.