xA(x)→xB(x) 的前束范式为 x(﹁A(x)∨B(x))
出自:西安交通大学---离散数学