Таблицы истинности

Логическая функция F задаётся выражением (p₃ → p₁) → (p₄ ∨ ¬ p₂). На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какой столбец в таблице каждой переменной в выражении.

В ответе напишите буквы x, y, z, w в том порядке, который соответствует переменным p₁, p₂, p₃ и p₄ в выражении. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Пример. Функция задана выражением ¬ p₂ ∨ p₁, зависящим от двух переменных, а фрагмент таблицы имеет следующий вид.

В этом случае p₁ соответствует переменная y, а p₂ – переменная x. В ответе следует написать yx.