(a AND b AND d AND c) OR (a AND d AND c AND NOT b)