問答題設有子句集:S={~I(x)∨R(x),I(a),~R(y)∨~L(y),L(a)}對S用支持集策略歸結出空子句,畫出歸結樹。

您可能感興趣的試卷