(x%20%7C%20y)%20%26%20(x%20%7C%20~y)%20%26%20(~x%20%7C%20y)