Было бы неплохо где-нибудь написать определение классов T_0, T_1, etc... === Замечания === ☐ Занести все определения в [[СлужебнаяШаблон:Contributions/192Определение | вики-шаблон]].168 ☐ Переформулировать определения так, чтобы они не были завязаны на порядок строк в таблице истинности, ведь мы можем его менять, и от этого функция не изменится.0 ☐ Перенести ссылку на определение булевой функции на их первое упоминание.2|192 ☐ Нет доказательства того, что {and, not} и {or, not} являются полными системами.168Если в каком конспекте оно есть -- добавить ссылку.0.2]] 04:34, 16 мая 2011 (UTC)
