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

.02 Булевы функции. Таблицы истинности. Булев куб.

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

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

Задача 1#82378

a) Из теоремы о существовании СДНФ вывести, что любую (точнее, почти любую) булеву функцию можно разложить в виде

f(x ,...,x  ) =                  ∧                   xτ1∨ xτ2∨ ...xτn
   1     n                                          1    2      n
             по всем наборам (τ1,...,τn) на которых f равна 0

где      ({
 τ     x  если τ = 0
x  = ( --
       x  если τ = 1  .

Такой вид называется совершенной конъюнктивной нормальной формой функции f  .

b) Представить в СКНФ булеву функцию f (x1, x2,x3)  , заданную формулой

f (x1,x2,x3) = (x1 → x2) ∧x3
Показать ответ и решение

a) Поступим аналогично с СДНФ. Во-первых, очевидно, что если функция ψ  равна нулю только на наборе (τ1,τ2,...,τn)  , то

ψ(x ,...,x  ) = x τ1 ∨x τ2 ∨ ...xτn
   1     n     1    2     n

(просто-напросто левая и правая части равенства равны нулю одновременно, и равны единице одновременно).

Но тогда верен и более общий факт. ”  Любую”  функцию f : Bn → B  можно представить в виде

                               ∧                    τ1   τ2     τn
f(x1,...,xn ) =                                      x1 ∨ x2 ∨ ...xn
             по всем наборам (τ1,...,τn) на которых f равна 0

где      (
 τ   { x  если τ = 0
x  = ( --
       x  если τ = 1  .

Почему любая стоит в кавычках? Из этого правила есть ровно одно исключение. По аналогии с тем, как в СДНФ не получится выразить тождественно нулевую функцию, в нашем случае, то есть в СКНФ, не получится выразить тождественно единичную функцию. Все остальные - можно.

2. Как же выразить эту функцию

f (x1,x2,x3) = (x1 → x2) ∧x3

в СКНФ? Надо для начала составить её таблицу истинности.

     |   |    |              |
 x1  |x2 |x3  |(x1 → x2)∧ x3 |
-----|---|----|--------------|
 0   |0  |0   |0             |
     |   |    |              |
 0   |0  |1   |1             |
 0   |1  |0   |0             |
     |   |    |              |
 0   |1  |1   |1             |
 1   |0  |0   |0             |
     |   |    |              |
 1   |0  |1   |0             |
 1   |1  |0   |0             |
     |   |    |              |
 1   |1  |1   |1             |

А далее, чтобы выписать СКНФ нашей функции, мы должны просто написать конъюнкцию по всем наборам, на которых f  равна 0 всевозможных дизъюнкций переменных или их отрицаний, причем в дизъюнкцию переменная входит с отрицанием, если соответствующая координата в соответствующем наборе равна единице. Получаем:

                                  ---       ---            ---      ---   --- ---
f(x1,x2,x3) = (x1 ∨ x2 ∨x3 )∧ (x1 ∨ x2 ∨ x3) ∧ (x1 ∨ x2 ∨ x3) ∧(x1 ∨ x2 ∨ x3)∧ (x1 ∨x2 ∨ x3)
Ответ:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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