(x implies NOT(y) OR z)