Formula

Multiplying counts for disjoint variable groups

Partition the declared variables into disjoint groups: every variable belongs to exactly one group. If every clause uses variables from only one group, count satisfying local assignments in each group separately. Any choice in one group combines with any choice in another, so the global count is the product of local counts. For (p OR q) AND r, groups {p,q} and {r} have 3 and 1 valid assignments, giving 3. Cross-group clauses remove this guarantee; a redundant clause may leave independence intact. More generally, sums of products of independent group weights factor by distributivity: (a+b)(c+d) = ac+ad+bc+bd. Independence must be justified.

0

1

Updated 2026-11-07

Contributors are:

Who are from:

Tags

Math

Related
Related