第12题第3问（1）先把等价联结词置换为两个蕴含联结词的合取（A<->B）<=>（A←B)Λ(A→B）（2）再处理任意、存在x（3）∃x1∃x2∀x3∀x4((F(x,y)→G(x,y))Λ(F(x,y)←G(x,y))）
