Количество наборов, на которых функция истинна

Логическая функция $F$ задана выражением $F = ((x \to y) \wedge (y \to z)) \vee (w \wedge \neg z)$. Сколько существует наборов значений переменных $x, y, z, w$, на которых $F = 1$?

Тренировочный вариант в формате КИМ ЕГЭ. Составлен по структуре и типам заданий ЕГЭ.