高等继续教育 / 人工智能
题型描述: 填空题
设C1、C2是两个无相同变元的子句，且L1、L2分别是C1、C2中的文字，若L1与~L2合一为σ，则称C12={C1σ-{L1σ}} ∪ {C2σ-{L2σ}}为C1与C2 的（）。
参考答案：
佳题速递：
设C1、C2是两个无相同变元的子句，且L1、L2分别是C1、C2中的文字，若L1与~L2合一为σ，则称C12={C1σ-{L1σ}} ∪ {C2σ-{L2σ}}为C1与C2 的（）。