1302
правки
Изменения
м
Нет описания правки
{{tick| ticked=1}} В определениях выделить '''жирным''' то, что в них определяется.
{{tick| ticked=1}} Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку.
{{tick| ticked=1}} Сделать так, чтобы в "Теорема Поста о полной системе функций" не повторялись определения из других конспектов.
{{tick| ticked=1}} Фактическая ошибка про СДНФ
