系统或关键子系统必须具有某种功能，同时又不能具有该功能E