3622
правки
Изменения
→2. Булевы функции (проверяются): проверены
## если кто-то будет способен значительно упростить доказательство алгоритма, тот молодец
== 2. Булевы функции (проверяются) ==# [[Определение булевой функции]](1.5)
## англоязычных терминов
## термины вроде "самодвойственная и т.п." встечаются в табличке и больше нигде. Сделать ссылки вперед на соответствующие определения.
## Объединить литературу и источники информации
## Красиво оформить таблицы
# [[Суперпозиции]](0.5)
## англоязычных терминов
# [[ДНФ]](0.5)
## англоязычных терминов
## писать каждое слово с большой буквы (типа Дизъюнктивная Нормальная Форма) не надо
## Убрать странные скобки в формулировке теоремы
## Не то выделено жирным в определениях
# [[Сокращенная и минимальная ДНФ | Сокращенная и минимальная ДНФ, минимизация ДНФ методами гиперкубов, карт Карно, Квайна]](2.5)
## англоязычных терминов
## Жирные определения
## Обернуть в tex бинарные операции в методе Квайна
## Все константы и переменные взять в tex
# '''fixed''' [[КНФ]]## англоязычных терминов## писать каждое слово с большой буквы (типа Конъюнктивная Нормальная Форма) не надо## Определения жирным## Все константы и переменные взять в tex## Выделить в табличке нужные формы цветом, как в ДНФ# '''!!!''' [[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]](3)
## англоязычных терминов
## написать, почему факт того, что существует полиномиальный алгоритм, интересен
## Добавить ссылки, изменить См. также
## Исправить странное форматирование в форме Крома
# '''fixed''' [[Полином Жегалкина | Полином Жегалкина, преобразование Мёбиуса]]## англоязычных терминов## "Предпосылки" — странное название, переименовать в "Полнота", например## Все константы взять в tex## Исправить странное форматирование в преобразовании ДНФ## Написать, что означает <tex> \succ </tex> в преобразовании Мёбиуса## Пару слов о том, чем удобен полином Жегалкина# [[Полные системы функций. Теорема Поста о полной системе функций]](3.5)
## англоязычных терминов
## Заменить знаки неравенств в tex
## Избавиться от сокращений т.е. и т.к.
## Все переменные взять в tex
## Красиво и понятно отформатировать доказательство
# [[Представление функции класса DM с помощью медианы]]
# ''fixed'' [[Пороговая функция]]## Англоязычные термины## Исправить знаки неравенств в tex## Взять все константы в tex
== 3. Схемы из функциональных элементов (проверяются) ==
