通过海量题库、编程比赛和实时排名，系统化提升您的编程能力。
状态 CLEAR(X) ∧CLEAR(Z) ∧ON(X,Y) ∧ONTABLE(Y) ∧ONTABLE(Z)在动作 act 的作用下变为状态CLEAR(X) ∧CLEAR(Y) ∧ON(X,Z) ∧ONTABLE(Y)∧ONTABLE(Z)，并且已知 act 的添加表为 ON(X,Z)，CLEAR(Y)，则 act 的删除表为：（）