[ library(ic) | Reference Manual | Alphabetic Index ]
# and(?BoolExprX, ?BoolExprY, ?Bool)

Bool is the truth value of BoolExprX and BoolExprY being true.
*BoolExprX*
- 0/1-valued expression, such as reified constraint
*BoolExprY*
- 0/1-valued expression, such as reified constraint
*Bool*
- Truth value of the conjunction

## Description

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

If BoolExprX and BoolExprY are constraints that have a corresponding
reified form, Bool reflects the truth of both being true.

## See Also

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