1302
правки
Изменения
→Метод Квайна
{{tick | ticked = 1}} "то выполняются шаги со второго", а список ненумерованный {{---}} исправить
{{tick | ticked = 1}} Примеру не хватает заголовка.
{{tick| ticked = 1}} Пример непонятен: описывается какая-то функция от четырех аргументов, но не понятно, где в примере, скажем, "множество пар вида <tex>Ax</tex> или <tex>A \neg x</tex>".{{tick| ticked = 1}} Нужно показать, какую ДНФ мы минимизируем{{tick| ticked = 1}} Все n, n-1 в TeX{{tick| ticked = 1}} Что такое "импликанты" ?{{tick | ticked = 1}} Придумать новое описание пар вида <tex>Ax, A \neg x</tex>