# 8.3.2.3 IfcLogicalOperatorEnum

## 8.3.2.3.1 Semantic definition

IfcLogicalOperatorEnum is an enumeration that defines the logical operators that may be applied for the satisfaction of one or more operands (IfcConstraint) at a time.

The following tables illustrates application of IfcLogicalOperatorEnum in a case of three operands, A, B and C, for each operator.

## 8.3.2.3.3 Formal representation

TYPE IfcLogicalOperatorEnum = ENUMERATION OF
(LOGICALAND
,LOGICALNOTAND
,LOGICALNOTOR
,LOGICALOR
,LOGICALXOR);
END_TYPE;