单项选择题

A.重言式
B.矛盾式
C.可满足式
D.蕴含式