Если я правильно понял, то формула такая:
не(ХY) v YX & XZ
Все, что умножается на ложь, дает ложь. Поэтому фрагмент YX & XZ = ложь (это просто конъюнкция трех переменных XYZ).
Фрагмент не(ХY) = истина (т.к. отрицание от лжи это истина).
В итоге все выражение равно истина, поскольку истина или ложь будет истина.