Нахождение всех следствий из данных посылок

Нужно найти все логические следствия данной формулы.
Задание с примером в приложении.
Интерпретацию, т.е. высказывания x, y, z, нужно придумать свою. Оценить соответствие полученных таким образом следствий (т.е. путём вычислений) здравому смыслу.
Если конечные выводы получаются слишком объемными, необходимо логические выражения выделять скобками для более лёгкого понимания текста.