3622
правки
Изменения
м
→2. Булевы функции
## Все константы и переменные взять в tex
## Выделить в табличке нужные формы цветом, как в ДНФ
# '''взяли!!!''' [[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]]
## англоязычных терминов
## написать, почему факт того, что существует полиномиальный алгоритм, интересен
