求与下面谓词公式等值的前束范式