упроси функцию z->((x*not(y))and(x*not(y)*not(z)))