根据合式公式的定义,说明下列公式是合式公式。

合式

P(x)，Q(x)表示谓词，P表示命题，有"x(P(x)®P)Û$xP(x)®P

任何命题公式都存在着与之等价且唯一的主析取范式和主合取范式。