Построить таблицу истинности найти СДНФ
.pdf
Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥
Построить таблицу истинности, найти СДНФ, найти минимальную ДНФ.
(z→x)↔(y|x)
Нужно полное решение этой работы?
Ответ
а) таблица истинности построена;
б) СДНФ: xyz∨xyz∨xyz∨xyz
в) МДНФ: xz∨xy.
Решение
Таблица истинности:
[1] [2] [3] [4]=[3]→[1] [5]=[2]| [1] [6]=[4]↔[5] [7]=[6]
f
x
y
z z→x
y|x
(z→x)↔(y|x)
(z→x)↔(y|x)
0 0 0 1 1 1 0 0
0 0 1 0 1 0 1 1
0 1 0 1 1 1 0 0
0 1 1 0 1 0 1 1
1 0 0 1 1 1 0 0
1 0 1 1 1 1 0 0
1 1 0 1 0 0 1 1
1 1 1 1 0 0 1 1
СДНФ:
для каждого набора переменных, при которых функция равна 1, записывается произведение, в котором с отрицанием берутся переменные со значением 0.
F=xyz∨xyz∨xyz∨xyz
Минимальную ДНФ (МДНФ) получим с помощью карты Карно
. Карта Карно – графический способ минимизации булевых функций, представляющих собой операции попарного неполного склеивания и элементарного поглощения. Все клетки, которые заполнены единицами, должны быть обведены контурами по следующим правилам:
контуры должны быть прямоугольными и содержать количество единиц равное 2n, где n – целое число (т.е