_↔_

Grammatical restrictions:

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

Definitions:

a, b
Source: /avail/Avail/Foundation/Logic
Categories: Logic
Compute and answer the logical biconditional of the arguments. This is the negation of XOR and equivalent to ({@param a } ∧ b ) ∨ ((¬{@param a }) ∧ ¬{@param b }), which is a = b.
Position Name Type Description
Parameters
1 boolean a
2 boolean b
Returns boolean

Semantic restrictions:

boolean's type, boolean's type
Source: /avail/Avail/Foundation/Logic
Type can be strengthened as long as neither argument is of type boolean.
Type Description
Parameter Types
boolean's type
boolean's type