Обсуждение:Полные системы функций. Теорема Поста о полной системе функций

Материал из Викиконспекты
Версия от 14:06, 14 апреля 2012; Rybak (обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Замечания[править]

Переформулировать определения так, чтобы они не были завязаны на порядок строк в таблице истинности, ведь мы можем его менять, и от этого функция не изменится.

Занести все определения в вики-шаблон.

Перенести ссылку на определение булевой функции на их первое упоминание.

Поменять местами раздел Критерий Поста и Замкнутые классы булевых функций

В определениях выделить жирным то, что в них определяется.

Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку.

Сделать так, чтобы в "Теорема Поста о полной системе функций" не повторялись определения из других конспектов.

Фактическая ошибка про СДНФ