单项选择题

A.有限个简单合取式构成的析取式称为析取范式
B.有限个简单析取式构成的合取式称为合取范式
C.一个析取范式是不成立的,当且仅当它包含一个不成立的简单合取式
D.一个合取范式是成立的,当且仅当它的每个简单析取式都是成立的