Обсуждение:Полные системы функций. Теорема Поста о полной системе функций — различия между версиями
Rybak (обсуждение | вклад) |
Rybak (обсуждение | вклад) |
||
| Строка 10: | Строка 10: | ||
☐ Поменять местами раздел [[Теорема Поста о полной системе функций#Критерий Поста | Критерий Поста]] и [[Теорема Поста о полной системе функций#Замкнутые классы булевых функций | Замкнутые классы булевых функций]] | ☐ Поменять местами раздел [[Теорема Поста о полной системе функций#Критерий Поста | Критерий Поста]] и [[Теорема Поста о полной системе функций#Замкнутые классы булевых функций | Замкнутые классы булевых функций]] | ||
| + | |||
| + | ☐ В определениях выделить '''жирным''' то, что в них определяется. | ||
Версия 21:53, 16 октября 2011
Замечания
☐ Занести все определения в вики-шаблон.
☑ Переформулировать определения так, чтобы они не были завязаны на порядок строк в таблице истинности, ведь мы можем его менять, и от этого функция не изменится.
☐ Перенести ссылку на определение булевой функции на их первое упоминание.
☐ Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку.
☐ Поменять местами раздел Критерий Поста и Замкнутые классы булевых функций
☐ В определениях выделить жирным то, что в них определяется.
