Изменения

Перейти к: навигация, поиск

Участник:Shersh/Тикеты к 1ому терму

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

Навигация