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