(not w and not z) or (not v and x and y) or (not v and w and y) or (not v and not z)