• 2022-06-04
    化子句集的步骤不包括以下哪个选项 。
    A: 把目标的否定化成子句式,并用重言式表示
    B: 消去存在量词
    C: 把母式化为合取范式
    D: 化为前束形