从这里可明显地看出(x)(y)P(x, y)与(y)(x)P(x, y)的不同。若将(y)(x)P(x, y)写成析取范式, 便知 　　　(y)(x)P(x, y) 　　=(P(1, 1)∧P(1, 2))∨(P(2, 1)∧P(2, 2))∨(P(1, 1)∧P(2, 2))∨(P(2, 1)∧P(1, 2)) 　　=(x)(y)P(x, y)∨(P(1, 1)∧P(2, 2))∨(P(2, 1)∧P(1, 2)) 　　从而有 　　　　(x)(y)P(x, y)(y)(x)P(x, y) 　　对有的谓词公式难于理解时, 可在有限域{1, 2}上转换成命题逻辑公式做些分析, 常会帮助理解。