8.3.2.3.1 语义定义（Semantic definition）
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 |
表 8.3.2.3.A - LOGICALAND(A,B,C)
| 操作数 |
|
|
|
|
|
|
|
|
| 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 |
表 8.3.2.3.B - LOGICALOR(A,B,C)
| 操作数 |
|
|
|
|
|
|
|
|
| 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 |
表 8.3.2.3.C - LOGICALXOR(A,B,C)
| 操作数 |
|
|
|
|
|
|
|
|
| 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 |
表 8.3.2.3.D - LOGICALNOTAND(A,B,C)
| 操作数 |
|
|
|
|
|
|
|
|
| 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 |
表 8.3.2.3.E - LOGICALNOTOR(A,B,C)
8.3.2.3.2 类型值
| 类型 |
描述 |
LOGICALAND
|
定义操作数之间的关系：当所有操作数均为真时结果为真，至少一个操作数为假时结果为假。
|
|
LOGICALNOTAND
|
定义操作数之间的关系：当至少一个操作数为假时结果为真，所有操作数均为真时结果为假。
|
|
LOGICALNOTOR
|
定义操作数之间的关系：当所有操作数均为假时结果为真，至少一个操作数为真时结果为假。
|
|
LOGICALOR
|
定义操作数之间的关系：当至少一个操作数为真时结果为真，所有操作数均为假时结果为假。
|
|
LOGICALXOR
|
定义操作数之间的关系：当恰好有一个操作数为真（异或）时结果为真。
|
|
表 8.3.2.3.F
8.3.2.3.3 形式化表示（Formal representation）
TYPE IfcLogicalOperatorEnum = ENUMERATION OF
(LOGICALAND
,LOGICALNOTAND
,LOGICALNOTOR
,LOGICALOR
,LOGICALXOR);
END_TYPE;
8.3.2.3.4 参考文献