填空题
¬W
A.φB.{φ}C.{φ,{φ}}D.{{φ}}
A.A 与B 有相同的原子变元B.A 与B 是可满足的C.当A 的真值为真时,B 的真值也为真D.A 与B 有相同的真值
A.O(m)∪E(2m)B.¬O(m)→E(2m)C.O(m)∩E(2m)D.O(m)→E(2m)
微信扫一扫,加关注免费搜题