$%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

изменен 21 Окт '15 18:36

Это относится к такой теме из теории булевых функций как "Теорема Поста". Можно посмотреть в учебнике С.В.Яблонского "Введение в дискретную математику" или у С.Г.Гиндикина "Алгебра логики в задачах".

Данная система не полна, так как сохраняет 0 (обе функции принадлежат классу $%T_0$%).

(21 Окт '15 18:35) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,691
×1,195

задан
21 Окт '15 18:22

показан
207 раз

обновлен
21 Окт '15 18:36

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru