Логическая функция F задается выражением ¬z˄x ˅ x˄y

Рассмотрим целевую функцию более подробно.
Заданное выражение состоит из двух частей соединенных операцией логического сложения (дизъюнкцией). Чтобы целевая функция была равна 1, обе части выражения не должны быть ложными .
Составим таблицу истинности для каждого действия поэтапно:
¬z˄x ˅ x˄y
x
y
z
¬z
¬z˄x
x˄y
¬z˄x ˅ x˄y
0 0 0 1 0 0 0
0 0 1 0 0 0 0
0 1 0 1 0 0 0
0 1 1 0 0 0 0
1 0 0 1 1 0 1
1 0 1 0 0 0 0
1 1 0 1 1 1 1
1 1 1 0 0 1 1
Теперь сравним полученную таблицу с заданной