电路如图9.4.1所示,设运放是理想的器件,电阻R1=10 kΩ,为使该电路产生较好的正弦波振荡,则要求____________。
A. Rf=10 kΩ+4.7 kΩ(可调)
B. Rf=47 kΩ+4.7 kΩ(可调)
C. Rf=18 kΩ+4.7 kΩ(可调)
D. Rf=4.7 kΩ+4.7 kΩ(可调)
什么是范式?试写出前束型范式与Skolem范式的形式。
设有子句集S={~I(x)∨R(x),I(a),~R(y)∨~L(y),L(a)},用输入归结策略对其进行归结。
求子句集S={R(h(x),a,g(y),b)}的H域。