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