При решении задач используем определения логических операций

При решении задач используем определения логических операций: ∨ - дизъюнкция, результат равен 0, если все операнды равны 0, во всех остальных случаях результат равен 1. ∧ - конъюнкция, результат равен 1, если все операнды равны 1, во всех остальных случаях результат равен 0. → - импликация (x → y) как булева функция ложна лишь тогда, когда посылка истинна (x = 1), а следствие ложно (y = 0). ≡ эквиваленция (x ≡ y) - логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность (x = 0, y = 0, либо x = 1, y = 1). ¬ инверсия (отрицание), результатом противоположный исходному значению. Таблица истинности логических операций: x y x ∨ y x ∧ y x → y x ≡ y ¬x 0 0 0 0 1 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 Логическая функция F задаётся выражением (x ∧ y) ∨ (¬x ∧ ¬z).На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z.