单项选择题

A.都是重言式
B.都是矛盾式
C.都是可满足式
D.重言式矛盾式可满足式都有可能