Построить таблицу истинности, найти СДНФ, найти минимальную ДНФ. (z→x)↔(y|x)

Построить таблицу истинности, найти СДНФ, найти минимальную ДНФ. (z→x)↔(y|x)

Таблица истинности:
[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 – целое число (т.е

. Карта Карно – графический способ минимизации булевых функций, представляющих собой операции попарного неполного склеивания и элементарного поглощения. Все клетки, которые заполнены единицами, должны быть обведены контурами по следующим правилам:
контуры должны быть прямоугольными и содержать количество единиц равное 2n, где n – целое число (т.е