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