有关于watching-known我有点疑问，我想请问究竟是谁的watching-known会包含
XOR gate a。以讲义p.101页为例，XOR gate a本身的watching-known会有自己，
以及连接到这个gate a的gate (OR gate b)的watching-known会有a，意味着，只
要gate a或b的value改变(0或1)，就要去update他们watching-known list里面的
gate的watched pin。不过我翻了一下原始的paper(QuteSAT)，相同的例子，差别
是XOR gate a的watching-known是不包含自己的，反倒是再watching-0里有，让我
有点混淆了...
除了这个，作业题目的起始条件中，OR gate b的watching-known应该包含
XOR gate a吗？还有就是是否gate一旦有值了(known)，就不应该出现在watching list里？
另外我想请问HW5第3题的部份
请问所产生的CNF是否包含f本身(f satisfibility的问题)
在(a)小题看来似乎是没有，因为题目已经说会产生(m+n+5)个clauses
但(b)似乎要有f(或f')才能做的样子
问的有点细，不过还是希望能帮忙解答一下，谢谢。