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

Замечания

☑ Переформулировать определения так, чтобы они не были завязаны на порядок строк в таблице истинности, ведь мы можем его менять, и от этого функция не изменится. ☑ Занести все определения в вики-шаблон. ☑ Перенести ссылку на определение булевой функции на их первое упоминание. ☑ Поменять местами раздел Критерий Поста и Замкнутые классы булевых функций ☑ В определениях выделить жирным то, что в них определяется. ☑ Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку. ☑ Сделать так, чтобы в "Теорема Поста о полной системе функций" не повторялись определения из других конспектов. ☑ Фактическая ошибка про СДНФ