n个命题变元的_____称为小项，其中每个变元与它的否定不能同时出现，但两者必须_____。