SatisfiabilityCount

SatisfiabilityCount[bf] counts the number of possible combinations of variable values that yield True when supplied as arguments to the Boolean function bf.

SatisfiabilityCount[expr,{a1,a2,…}] counts the number of possible combinations of the ai that make the Boolean expression expr be true.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.