expression phrase ⇒ boolean, expression phrase ⇒ boolean

*Source*: /avail/Avail/Foundation/Logic

*Categories:*Primitives, Logic

Given two arbitrary boolean -valued phrase s, answer an alternative denial, i.e., NAND, phrase. The resulting phrase short-circuits the computation, i.e., only evaluates b if a is true.

Position | Name | Type | Description | |
---|---|---|---|---|

Parameters | ||||

1 | a | expression phrase ⇒ boolean | An expression phrase that yield a boolean. | |

2 | b | expression phrase ⇒ boolean | An expression phrase that yield a boolean. | |

Returns | send phrase ⇒ boolean | a ↑ b. |

boolean, []→boolean

*Source*: /avail/Avail/Foundation/Logic

*Categories:*Logic

Compute and answer the alternative denial, i.e., NAND, of the arguments. This is equivalent to ¬({@param a } ∧ b ). Short-circuit the computation, i.e., only evaluate b if a is true.

Position | Name | Type | Description | |
---|---|---|---|---|

Parameters | ||||

1 | a | boolean | ||

2 | b | []→boolean | ||

Returns | boolean |