expression phrase ⇒ boolean, expression phrase ⇒ boolean

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

*Categories:*Primitives, Logic

Given two arbitrary boolean -valued phrase s, answer a joint denial, i.e., NOR, phrase. The resulting phrase short-circuits the computation, i.e., only evaluates b if a is false.

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 joint denial, i.e., NOR, of the arguments. This is equivalent to ¬({@param a } ∨ b ). Short-circuit the computation, i.e., only evaluate b if a is false.

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

Parameters | ||||

1 | a | boolean | ||

2 | b | []→boolean | ||

Returns | boolean |