1.2.6 Using Equality Operations

Unlike other set operations, the equality operation evaluates to a single Boolean expression. It checks for bit equality between a set of variables and a constant. The bit positions of the constant number are checked against the corresponding positions in the set. Where the bit position is a binary 1, the set element is unchanged. Where the bit position is a binary 0, the set element is negated. Where the bit position is a binary X, the set element is removed. The resulting elements are then ANDed together to create a single expression.

The equality operator can also be used with a set of variables that are to be operated upon identically. For example, the following three expressions:

[A3, A2, A1, A0]:&

[B3..B0]:#

[C3, C2, C1, C0]:$

are equivalent, respectively, to:

A3 & A2 & A1 & A0

B3 # B2 # B1 # B0

C3 $ C2 $ C1 $ C0