单项选择题

A.重言式
B.矛盾式
C.非重言可满足式