Дистрибутивный закон.

Закон, по которому можно кванторы, стоящие перед сложными выражениями относить к компонентам этих сложных выражений (по членам сложного выражения).

x (А(х) É В(х)) = ( x А(х) É ( x B(x));

х (А(х) É В(х)) = ( х А(х) É ( х В(х));

Горбатов:

x(A(x) & В(х)) = ( xA(x) & ( x B(x));

х (А(х) V B(x)) = ( х А(х) V ( х В(х));