当前学科:电气安全
  • 题目: 未知类型

      用输入归结策略是否可证明下列子句集的不可满足性? S={P∨Q,Q∨R,R∨W,~R∨~P,~W∨~Q,~Q∨~R)

    答案: <查看本题扣1积分>

    查看答案

    答案不对?请尝试站内搜索