设谓词公式A﹤=﹥АxP(x)→彐xQ(x),则A的前束范式是
A ﹤=﹥__________________________________________________.
出自:西安石油大学-离散数学