not (a or b&&c) or d