单项选择题

A.A 与B 有相同的原子变元
B.A 与B 是可满足的
C.当A 的真值为真时,B 的真值也为真
D.A 与B 有相同的真值