Множества

[Joker_vD]

Видимо, тут ничего не поделаешь, придется писать прямо и без намеков:

$$(x \in X \wedge y \in Y) \wedge \overline{(x\in X \wedge y \in Z)} \Leftrightarrow (x \in X \wedge y \in Y) \wedge (x\notin X \;\textcolor{red}{\vee}\; y \notin Z)$$

Закон де Моргана — при продавливании отрицания с уровня всего выражения до уровня "слагаемых", конъюнкцию надо менять на дизъюнкцию (а дизъюнкцию, соответственно, на конъюнкцию) не изменяя порядка действий.

$\overline{A \wedge B} = \overline A \vee \overline B$
$\overline{A \vee B} = \overline A \wedge \overline B$

Дальше вспоминайте дистрибутивный закон, раскрывайте скобки