not(not(not(x or y)or (not x)) and not(x and y))