设A含n个命题变项,则 以下说法错误的是()
A:A为重言式当且仅当A的主析取范式含 个极小项
B:A为矛盾式当且仅当 A的主析取范式不含任何极小项,记作0
C:A为可满足式当且仅当A的主析取范式中至少含一个极小项
D:A为可满足式当且仅当A的主合取范式中可以不包括极大项
发布时间:2024-06-29 22:18:43