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