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