Wolfram Language & System 11.0 (2016)|Legacy Documentation
This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)
counts the number of possible combinations of the ai that make the Boolean expression expr be true.
This corresponds to the number of times True appears in the truth table:
Introduced in 2008