如果结果不匹配，请 
更多“01平台蒸箱SCD26-01/C2/C1A未放水箱，设置完程…”相关的问题
第7题
谓词逻辑下，子句C1=L∨C1’,C2=┐L∨C2’,若σ是互补文字的最一般合一代换，则其归结式C12=（)。
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
更多“01平台蒸箱SCD26-01/C2/C1A未放水箱，设置完程…”相关的问题
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
