单项选择题

命题公式A 与B 是等值的,是指()。

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