_⊕_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 2 _↔_
_⊕_

Definitions:

boolean, boolean
Source: /avail/Avail/Foundation/Logic
Categories: Logic
Compute and answer the logical exclusive disjunction, i.e., XOR, of the arguments. This is equivalent to (a ∧ ¬b) ∨ ((¬a) ∧ b)
Position Name Type Description
Parameters
1 a boolean
2 a boolean
Returns boolean