Распределительый закон для кванторов

[Dims]

Обладают ли оба квантора (существования и всеобщности) распределительным свойством относительно логического сложения и умножения? Или квантор всеобщности распределяется только по членам умножения, а существования -- сложения?

Добавлено спустя 13 минут 46 секунд:

Если верно второе, то как разложить вот это:

\forall (b \subset B, d \subset D), \exists (a \subset A, c \subset C) : ((a=b) \land (c=d))

Добавлено спустя 50 минут 45 секунд:

Сам понял, спасибо.