Изменения

'''Предваренная нормальная форма''' {{---}} форма, при которой в начале выражения записаны все кванторы, а затем глобальное условие.

}}

=== Преобразование ===

* Построить выражения для каждой переменной;