前束正規化

一階邏輯 的公式是前束正規化，如果它具有以下形式

(1)

其中每個 是一個 量詞 ("對於所有") 或 ("存在")，並且 是無量詞的。

例如，公式

(2)

是前束正規化，而公式

(3)

則不是，其中 表示 或。

每個 一階邏輯 公式都可以轉換為等價的前束正規化公式。