Forma normal Prenex

Olá, uma dica para quem tiver interesse em saber mais sobre a forma normal prenex, usada pelo Z/Eves para remover quantificadores de uma expressão:

http://pt.wikipedia.org/wiki/Forma_normal_prenex