1302
правки
Изменения
м
Нет описания правки
☐ Занести все определения в [[Шаблон:Определение | вики-шаблон]].
� Переформулировать определения так, чтобы они не были завязаны на порядок строк в таблице истинности, ведь мы можем его менять, и от этого функция не изменится.
☐ Перенести ссылку на определение булевой функции на их первое упоминание.
☐ Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку.
