8.3.2.3 IfcLogicalOperatorEnum（逻辑运算符枚举）
8.3.2.3.1 语义定义
IfcLogicalOperatorEnum 是一个枚举类型，定义了可同时应用于一个或多个操作数（IfcConstraint）满足性判断的逻辑运算符。
以下表格展示了在三个操作数 A、B 和 C 的情况下，每种 IfcLogicalOperatorEnum 运算符的应用示例。
| 操作数 | ||||||||
|---|---|---|---|---|---|---|---|---|
| A | F | F | F | T | F | T | T | T |
| B | F | F | T | F | T | F | T | T |
| C | F | T | F | F | T | T | F | T |
| 结果 | F | F | F | F | F | F | F | T |
| 操作数 | ||||||||
|---|---|---|---|---|---|---|---|---|
| A | F | F | F | T | F | T | T | T |
| B | F | F | T | F | T | F | T | T |
| C | F | T | F | F | T | T | F | T |
| 结果 | F | T | T | T | T | T | T | T |
| 操作数 | ||||||||
|---|---|---|---|---|---|---|---|---|
| A | F | F | F | T | F | T | T | T |
| B | F | F | T | F | T | F | T | T |
| C | F | T | F | F | T | T | F | T |
| 结果 | F | T | T | T | F | F | F | F |
| 操作数 | ||||||||
|---|---|---|---|---|---|---|---|---|
| A | F | F | F | T | F | T | T | T |
| B | F | F | T | F | T | F | T | T |
| C | F | T | F | F | T | T | F | T |
| 结果 | T | T | T | T | T | T | T | F |
| 操作数 | ||||||||
|---|---|---|---|---|---|---|---|---|
| A | F | F | F | T | F | T | T | T |
| B | F | F | T | F | T | F | T | T |
| C | F | T | F | F | T | T | F | T |
| 结果 | T | F | F | F | F | F | F | F |
沿革 IFC2.0 新增枚举。
8.3.2.3.2 类型值
| 类型 | 描述 |
|---|---|
LOGICALAND（逻辑与） |
定义操作数之间的关系：当所有操作数均为真时结果为真，至少一个操作数为假时结果为假。 |
LOGICALNOTAND（逻辑与非） |
定义操作数之间的关系：当至少一个操作数为假时结果为真，所有操作数均为真时结果为假。 |
LOGICALNOTOR（逻辑或非） |
定义操作数之间的关系：当所有操作数均为假时结果为真，至少一个操作数为真时结果为假。 |
LOGICALOR（逻辑或） |
定义操作数之间的关系：当至少一个操作数为真时结果为真，所有操作数均为假时结果为假。 |
LOGICALXOR（逻辑异或） |
定义操作数之间的关系：当恰好有一个操作数为真（异或）时结果为真。 |
8.3.2.3.3 形式化表示
TYPE IfcLogicalOperatorEnum = ENUMERATION OF
(LOGICALAND
,LOGICALNOTAND
,LOGICALNOTOR
,LOGICALOR
,LOGICALXOR);
END_TYPE;