Обсуждение:Полные системы функций. Теорема Поста о полной системе функций — различия между версиями
Rybak (обсуждение | вклад) |
|||
| Строка 1: | Строка 1: | ||
| − | + | === Замечания === | |
| + | |||
| + | ☐ Занести все определения в [[Шаблон:Определение | вики-шаблон]]. | ||
| + | |||
| + | ☐ Переформулировать определения так, чтобы они не были завязаны на порядок строк в таблице истинности, ведь мы можем его менять, и от этого функция не изменится. | ||
| + | |||
| + | ☐ Перенести ссылку на определение булевой функции на их первое упоминание. | ||
| + | |||
| + | ☐ Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку. | ||
Версия 00:40, 15 октября 2011
Замечания
☐ Занести все определения в вики-шаблон.
☐ Переформулировать определения так, чтобы они не были завязаны на порядок строк в таблице истинности, ведь мы можем его менять, и от этого функция не изменится.
☐ Перенести ссылку на определение булевой функции на их первое упоминание.
☐ Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку.
