=== Замечания ===
☐ Занести все определения в [[Шаблон:Определение {{tick| вики-шаблон]]. ☑ ticked=1}} Переформулировать определения так, чтобы они не были завязаны на порядок строк в таблице истинности, ведь мы можем его менять, и от этого функция не изменится. {{tick}} Занести все определения в [[Шаблон:Определение | вики-шаблон]].☐ {{tick}} Перенести ссылку на определение булевой функции на их первое упоминание. ☐ {{tick}} Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку. ☐ {{tick}} Поменять местами раздел [[Теорема Поста о полной системе функций#Критерий Поста | Критерий Поста]] и [[Теорема Поста о полной системе функций#Замкнутые классы булевых функций | Замкнутые классы булевых функций]] ☐ {{tick}} В определениях выделить '''жирным''' то, что в них определяется.
