想请问一下各位 流程大概是看懂了
但是不解的是 最后面t是怎么来的
t=(1 1 1 4 4 4)的4这是怎么来的呀
https://i.imgur.com/EuSgPd7.jpg
请大神帮忙谢谢

S1跟S1'分别是补1跟补2，所以最多补到3，也就是说，1个clause里只要有一个true，就会补到4，没有true则最多补到3这样子就限制住非true的判断了

所以因为C1 C2 C3对应到V1 V1' V2 V2' V3 V3'里面有 1就为True 就为补到4 吗

没错，C1 C2 C3就是为了让true的结果都可以补到4

我补充一下好了,题目有说t是子集合元素总和，从c1来说，他要为true有（110）（100）（101）.（111）这四种 则c1个数为4=t ,若只把s1+s1”相加的话，会少（111）这个组合。