[ library(ic) | Reference Manual | Alphabetic Index ]

?BoolExprX and ?BoolExprY

BoolExprX and BoolExprY must both be true.
BoolExprX
0/1-valued expression, such as reified constraint
BoolExprY
0/1-valued expression, such as reified constraint

Description

Equivalent to BX #= BoolExprX, BY #= BoolExprY, BX+BY #= 2.

If BoolExprX and BoolExprY are constraints that have a corresponding reified form, both their entailment is enforced.

See Also

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