a or b and c not d