下列谓词公式中，不是前束范式的为（）。