单项选择题

A.A 与B 有相同的命题变元
B.A«B 是可满足式
C.A®B 为重言式
D.A«B 为重言式