文章目录
2 Constraint satisfaction problems: examples
2.4 Boolean constraint satisfaction problems
- Q: 相比直接写出函数表达式,用CSP的思想在处理full adder时有什么好处?
A:
draw in a systematic way more complex conclusions.
具体地,例如除了由 i 1 , i 2 , i 3 i_1,i_2,i_3 i1,i2,i3直接计算 o 1 , o 2 o_1,o_2 o1,o2,还可能 i 3 = 0 , o 2 = 1 i_3=0,o_2=1 i3=0,o2=1推出 i 1 = i 2 = 1 , o 1 = 0 i_1=i_2=1,o_1=0 i1=i2=1,o1=0等。
- Q: k k k元谓词
one
的析取范式是什么?
A: ( ∼ s 1 ∧ ⋯ ∧ ∼ s k − 1 ∧ s k ) ∨ ( ∼ s 1 ∧ ⋯ ∧ s k − 1 ∧ ∼ s k ) ∨ ⋯ ∨ ( s 1 ∧ ⋯ ∧ ∼ s k − 1 ∧ ∼ s k ) (\sim s_1\wedge\cdots\wedge \sim s_{k-1}\wedge s_k)\vee(\sim s_1\wedge\cdots\wedge s_{k-1}\wedge \sim s_k)\vee\cdots \vee(s_1\wedge\cdots\wedge \sim s_{k-1}\wedge\sim s_k) (∼s1∧⋯∧∼sk−1∧sk)∨