Тема . Дискретная математика
.01 Булевы функции. Замкнутые и полные классы.
Вспоминай формулы по каждой теме
Решай новые задачи каждый день
Вдумчиво разбирай решения
ШКОЛКОВО.
Готовиться с нами - ЛЕГКО!
Подтемы раздела дискретная математика
Решаем задачу:

Ошибка.
Попробуйте повторить позже

Задача 1#54722

Доказать, что из любой полной системы булевых функций можно извлечь полную подсистему, состоящую не более чем из пяти функций.

Показать ответ и решение

Раз система полная, то по необходимому условию из теоремы о функциональной полноте, она не лежит полностью ни в одном из классов T0,T1,S,L, M  . Следовательно, в ней найдутся fT0/∈T0, fT1/∈T1, fS/∈S, fL/∈L, fM/∈M  .

Но тогда, из доказательства достаточности в теореме о функциональной полноте следует, что этих не более чем пяти (т.к. некоторые из них могут совпадать) функций fT0,fT1,fS,fL,fM  хватит, чтобы породить все булевы функции. Их и извлечем из нашей полной системы.

Ответ:

Специальные программы

Все специальные программы

Программа
лояльности v2.0

Приглашай друзей в Школково и получай вознаграждение до 10%!

Крути рулетку
и выигрывай призы!

Крути рулетку и покупай курсы со скидкой, которая привязывается к вашему аккаунту.

Бесплатное обучение
в Школково

Для детей ДНР, ЛНР, Херсонской, Запорожской, Белгородской, Брянской областей, а также школьникам, находящимся в пунктах временного размещения Крыма обучение на платформе бесплатное.

Налоговые вычеты

Узнай, как получить налоговый вычет при оплате обучения в «Школково».

Специальное предложение
для учителей

Бесплатный доступ к любому курсу подготовки к ЕГЭ или олимпиадам от «Школково». Мы с вами делаем общее и важное дело, а потому для нас очень значимо быть чем-то полезными для учителей по всей России!

Вернём деньги за курс
за твою сотку на ЕГЭ

Сдать экзамен на сотку и получить обратно деньги за подготовку теперь вполне реально!

cyberpunkMouse
cyberpunkMouse
Рулетка
Вы можете получить скидку в рулетке!