[ library(ic) | Reference Manual | Alphabetic Index ]
# neg(?BoolExpr, ?Bool)

Bool is the logical negation of BoolExpr.
*BoolExpr*
- 0/1-valued expression, such as reified constraint
*Bool*
- Truth value of the negation

## Description

Equivalent to B #= BoolExpr, Bool #= 1-B.

If BoolExpr is a constraint that has a corresponding reified form,
Bool is the logical negation of its truth value.

## See Also

and / 2, and / 3, neg / 1, or / 2, or / 3, => / 2, => / 3