not (V or (E and C))