Изменения
Нет описания правки
* <tex>\exists x \varphi(x) \to \sum\limits_{X=0}^{1} A_\varphi(X)</tex>
* <tex>\forall x \varphi(x) \to \prod\limits_{X=0}^{1} A_\varphi(X)</tex>
Результат этого выражения будет ненулевым в том и только в том случае, если исходная формула была истинаистинна.
Рассмотрим пример:
