Изменения

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

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

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

Навигация