什么条件下一个合取范式是重言式?


什么条件下一个合取范式是重言式?

A.当且仅当它的每一个简单析取式都是矛盾式。

B.当且仅当它的每一个简单合取式都是矛盾式。

C.当且仅当它的每一个简单析取式都是重言式。

D.当且仅当它的每一个简单合取式都是重言式。

正确答案:C


Tag:重言 矛盾 范式 时间:2022-08-11 22:43:20