设命题公式A含有2个命题变元，且已知A为矛盾式，则A的主合取范式含大项的个数为