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