Для функции заданной формулой построить таблицу истинности
.pdf
Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥
Для функции, заданной формулой, построить таблицу истинности, записать СДНФ, СКНФ, многочлен Жегалкина и проверить её принадлежность классам Поста.
24. f=a~b⨁c
Решение
A
b
c
c
a~b
a~b⨁c
конъюнкты дизъюнкты
0 0 0 1 1 0
a∨b∨c
0 0 1 0 1 1 abc
0 1 0 1 0 1 abc
0 1 1 0 0 0
a∨b∨c
1 0 0 1 0 1 abc
1 0 1 0 0 0
a∨b∨c
1 1 0 1 1 0
a∨b∨c
1 1 1 0 1 1 abc
СДНФ — abc∨abc∨abc∨abc
СКНФ — a∨b∨ca∨b∨ca∨b∨ca∨b∨c
Полином Жегалкина:
Шаг 1abc∨abc∨abc∨abc,
Шаг 2abc⨁abc⨁abc⨁abc,
Шаг 31⨁a1⨁bc⨁1⨁ab1⨁c⨁a1⨁b1⨁c⨁abc,
Шаг 41⨁a1⨁bc⨁1⨁ab1⨁c⨁a1⨁b1⨁c⨁abc=
=c⊕ac⨁bc⨁abc⨁b⨁ab⨁bc⨁abc⨁a⨁ab⨁ac⨁abc⨁abc,
Шаги 5 и 6:c⊕ac⨁bc⨁abc⨁b⨁ab⨁bc⨁abc⨁a⨁ab⨁ac⨁abc⨁abc=a⨁b⨁c слагаемые ac, bc, ab встречаются по 2 раза; слагаемое abc — 4 раза.
Итак, полином Жегалкина — a⨁b⨁c.
По таблице истинности видим, что f=a~b⨁c сохраняет 0 и сохраняет 1, является самодвойственной и не является монотонной (т.к