有關於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')才能做的樣子
問的有點細，不過還是希望能幫忙解答一下，謝謝。