§4前束范式 冷定义19.18前束范式:p∈P(Y为前束范式, 当且仅当它具有下面的形式: 冷p=01x102x2…01X1q,其中(i=1,…k)是或彐, 且X1x2,xk是不同的,q是P(Y中不带量词 的公式。称01X102X2…0x为前束,称q为母 式。 冷定义1919:设p∈P(Y),称与p语法等价的前 束范式为p的前束范式。§4 前束范式 ❖ 定义19.18(前束范式):pP(Y)为前束范式， 当且仅当它具有下面的形式： ❖ p=1x12x2…kxkq,其中i (i=1,…,k)是或， 且x1 ,x2 ,…xk是不同的，q是P(Y)中不带量词 的公式。称1x12x2…kxk为前束，称q为母 式。 ❖ 定义19.19:设pP(Y)，称与p语法等价的前 束范式为p的前束范式