Тема . Дискретная математика

.01 Булевы функции. Замкнутые и полные классы.

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

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

Задача 1#105107

Докажите, что система

{x∧ y,x → y}

- полна в T1  .

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

Пусть нам известно, что система {x∧ y,x⊕ y} - полна в T0  .

Однако, если f (x ,...,x )
   1     n  - произвольная функция из класса T
  1  , то функция

            ----------
g(x1,...,xn) = f(x1,...,xn)

- обязательно лежит в T
 1  .

Более того, верно и обратное, то есть мы можем получить любую функцию g(x1,...,xn) ∈ T1  из некоторой функции f(x1,...,xn) ∈ T0  , навешивая отрицания на ее переменные, а также на всю функцию.

Поэтому, если любую функцию из T0  можно породить при помощи x ∧y  и x⊕ y  , то любую функцию из T1  можно породить при помощи двойственных к порождающим функциям T0  , то есть с помощью:

-----
x∧ y = x ∨y

и

x⊕-y-= x⊕ y ⊕ 1 = (x → y)∧ (y → x)

Но раз так, то при помощи системы

{x∧ y,x → y}

можно породить все T
  1  , потому что из них можно собрать (x → y)∧ (y → x)  (просто берем конъюнкцию импликации в одном и в другом порядке), а также x ∨y  (а именно, она получается как (x → y) → y  ). А через них, как мы видели выше, уже всё T1  выражается.

Ответ:

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

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

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

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

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

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

Бесплатное онлайн-обучение

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

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

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

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

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

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

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

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