(not x || not y) || z