包含n个命题变项的重言式的主析取范式包括有小项的个数为