Изменения
→Преобразование формулы
* Теперь это декартово произведение необходимо отфильтровать по глобальному условию из предваренной нормальной формы. Для каждого кортежа из декартово произведения зафиксированы все значения, поэтому для каждого из них можно проверить, истинно оно или нет.
* После того, как проверили глобальное условие, то есть сделали фильтр по нему, необходимо применить кванторы.
Применение кванторов не является тривиальной операциейтривиальными операциями, поэтому рассмотрим его применение подробнее.
=== Применение кванторов ===
