Изменения

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

30 байт добавлено, 17:50, 5 января 2017

м

→‎2. Булевы функции

## Убрать странные скобки в формулировке теоремы

## Не то выделено жирным в определениях

# ''взяли'' [[Сокращенная и минимальная ДНФ | Сокращенная и минимальная ДНФ, минимизация ДНФ методами гиперкубов, карт Карно, Квайна]] (2.5)

## англоязычных терминов

## Жирные определения

# [[КНФ]]

# [[2SAT]]

# ''взяли'' [[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]] (3)

## англоязычных терминов

## написать, почему факт того, что существует полиномиальный алгоритм, интересен

3622

правки