命题公式A中含n个命题变项,A为矛盾式的条件是A的主合取范式含