Результат
Как рассчитано
Таблица истинности
Канонические формы / Упрощённая сумма произведений
Частые вопросы
Какие операторы можно использовать?
Используйте ! или ~ для отрицания, & или ∧ для И, ^ для исключающего ИЛИ, | или ∨ для ИЛИ, -> для импликации, <-> для эквивалентности, а также константы 0, 1, истина и ложь.
Как инструмент выбирает между методом Карно и Квайна–Мак-Класки при упрощении?
До 4 переменных инструмент группирует минтермы так же, как на карте Карно. При 5 или 6 переменных он переключается на метод Квайна–МакКласки с выбором Петріка. При числе переменных больше 6 возвращается к канонической ДНФ.