Table 4. Higher logic function of vectors and .
Type | Symbol | Higher logic function | Logic statement |
The value of is iff the values of both and are | |||
The value of is iff the value of is or that of is | |||
The value of is iff the value of or that of is | |||
The value of is iff the values of both and are | |||
The value of is iff the value of is and that of is | |||
The value of is iff the value of is and that of is | |||
The value of is iff the value of is or that of is | |||
The value of is iff the value of is or that of is | |||
The value of is iff either the value of or that of is | |||
The value of is iff the values of both and are or |
‘’ denotes function symbol of type of higher logic relationships, where and represents the sign for the higher logic relationships.