[计] prenex normal, prenex normal form, prenex-normal form

{{注音|ㄑㄧㄢˊ ㄕㄨˋ ㄈㄢˋ ㄕˋ}}