посчитайте аа алгебра логикиНайдите все пары значений переменных x и y, при которых выражение истинно. (not x or x)and(x xor not y)and not(x or y)=false

(x or not x)=true - можно про него забыть

Остается (x xor not y)and (x or y)=true

Из этого представляет непосредственный интерес только (x xor not y), который по сути x=y

Таким образом наше выражение сократилось до (x=y) and (x or y)