广开作业题目:一个合取范式是重言式当且仅当它的每个简单析取式都是重言式。
出自:广开数学大观