Meaning of PRENEX NORMAL FORM in English

ˈprēˌneks- noun

Etymology: Late Latin praenexus tied up or bound in front, from Latin prae- pre- + nexus, past participle of nectere to tie, bind — more at annex

: a normal form of an expression in the functional calculus in which all the quantifiers are grouped without negations or other connectives before the matrix so that the scope of each quantifier extends to the end of the formula

Webster's New International English Dictionary.      Новый международный словарь английского языка Webster.