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