有個boolean function f(X_A, X_B)
X_A 和 X_B 是兩個non-empty variable sets, 而且兩者disjoint
我現在想要找一個condition 使得 f(X_A, X_B) = f_A(X_A) ^ f_B(X_B)
並以quantified boolean formula 來表示這個condition
需要一點提示或解答...
--
※ 編輯: hsnuyi (118.160.163.14 臺灣), 07/30/2019 16:57:38
討論串 (同標題文章)