Задача #283

Логическая функция F задаётся выражением $(p_3\to p_1)\to (p_4\vee \neg p_2)$. На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какой столбец в таблице каждой переменной в выражении.

В ответе напишите буквы $x,y,z,w$ в том порядке, который соответствует переменным $p_1,p_2,p_3$ и $p_4$ в выражении. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Пример. Функция задана выражением $\neg p_2\vee p_1$, зависящим от двух переменных, а фрагмент таблицы имеет следующий вид.

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