_⊕_
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