方程2∧X=4—X∧2解的个数