以下OptiX2500+的逻辑系统定义中，哪是错误的：（）。

A:IU4SD4的第一光口（西向）和IU9的第二光口（东向）组成PP环ADM B:IU4SD4的第二光口（西向）和IU9的第二光口（东向）组成MSP环ADM C:IU4SD4的第一光口（西向）和IU4的第二光口（东向）组成MSP环ADM D:IU4SD4的第一光口（西向）和IU9的第二光口（东向）组成MSP环ADM

逻辑系统的四大定理不包括（）。

A:一致性定理 B:有效性定理 C:可靠性定理 D:不完全性定理

非时序逻辑系统

时序逻辑系统

时序逻辑系统

BMS逻辑系统由哪几部分组成？

以下操作相当于给网元配置逻辑系统的是（）。

A:创建无保护的环 B:设置出子网光口 C:创建单向通道保护环 D:以上都不是