单项选择题

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