 |
BUILT-IN MATHEMATICA SYMBOL
Conjunction
gives the conjunction of expr over all choices of the Boolean variables 
.
Details
- Conjunction[expr, {a1, a2, ...}] effectively applies And to the results of substituting all possible combinations of True and False for the
in expr. - Conjunction gives a resolved form of
. - Conjunction is to And what Product is to Times.
New in 7
