SatisfiabilityCount

Доступно

Number of satisfying assignments of a Boolean expression

Формы

SatisfiabilityCount[bf]

SatisfiabilityCount[expr, {a1, a2, …}]

Проверенные примерыSatisfiabilityCount[Xor[a, b], {a, b}] → 2 SatisfiabilityCount[BooleanFunction[30, 3]] → 1 SatisfiabilityCount[BooleanCountingFunction[{200, 1200}, 2000]] → 1

Выполнить на Qurak Поиск по справочнику

Темы

Boolean Computation - Boolean Function Testing
New In70 Alphabetical Listing - S
New In70 Mathematics And Algorithms - Boolean Computation »

Связанное

SatisfiableQ SatisfiabilityInstances TautologyQ BooleanTable BooleanConvert BooleanCountingFunction BooleanFunction BooleanMaxterms BooleanMinimize BooleanMinterms Conjunction Disjunction

Все 6300 функций · Использовать из MCP-клиента