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