为什么矛盾式的主合取范式含全部2^n个极大项,