在一组3-CNF子句中有多少令人满意的赋值，其中没有子句共享相同的变量？

Question

也许有点超出了这个网站的范围，但我想这里有足够多的人会知道这一点，所以我要试一试。

说我有一套3-CNF条款

 S = {Clause1, Clause2} = {<x1 or x2 or not x3>, <x4 or x5 or x6>}

每个变量范围超过{0,1}

S有多少令人满意的作业？一般来说，S有多少令人满意的分配是S的大小是k？

这是一个关于3-disjunctive子句的令人满意的赋值的问题，就像它关于计数一样。例如，当我只有时，有2个 ³ = 8个可能的分配：

(111),(011),(101),(110),(100),(010),(001),(000)

但其中哪一个是令人满意的作业？

Answer 1

对于不共享任何变量的子句，计数非常简单。

对于满足第一个子句的每组变量，您可以选择满足第二个子句的任何变量集。因此，您只需要满足每个条款的分配产品。