|
$%f_1= (\widetilde{x^3})=(x_1 \downarrow x_2) \rightarrow x_3; f_2(\widetilde{x^3})= \overline{x_3 \sim \overline{x_2} } \rightarrow x_3 $% } задан 21 Окт '15 18:22 
s1mka |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
21 Окт '15 18:22
показан
641 раз
обновлен
21 Окт '15 18:36
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Это относится к такой теме из теории булевых функций как "Теорема Поста". Можно посмотреть в учебнике С.В.Яблонского "Введение в дискретную математику" или у С.Г.Гиндикина "Алгебра логики в задачах".
Данная система не полна, так как сохраняет 0 (обе функции принадлежат классу $%T_0$%).