~(~(x&~y) & ~(~x&y)) 이거 맞나??