设A是含n(n≥1)个命题变项的公式,若A是重言式,则A的主析取范式含极小项个数为