通过海量题库、编程比赛和实时排名，系统化提升您的编程能力。
反演求解某个问题的答案时，其基本步骤有：(1) 用根部的子句作为一个回答语句。(2)按照反演树，执行和以前相同的消解，直至在根部得到某个子句止。(3) 把由目标公式的否定产生的每个子句添加到目标公式否定之否定的子句中去。其正确的操作顺序应该是： （ ）