单项选择题
A.可满足的 B.不可满足的 C.无法确定
A.实例联系 B.泛化联系 C.聚集联系 D.属性联系
A.﹁，∨，∧，→，↔ B.∧，∨，﹁，→，↔ C.﹁，∧，∨，↔，→ D.﹁，∧，∨，→，↔