Page "Prenex normal form" Paragraph 1
from
Wikipedia
Every formula in classical logic is equivalent to a formula in prenex normal form.
For example, if,, and are quantifier-free formulas with the free variables shown then
Page 1 of 1.
1.800 seconds.