Какое из тождеств носит название «Закон де Моргана»?

Закон де Моргана — это правило, которое связывает операции конъюнкции (И) и дизъюнкции (ИЛИ) через операцию отрицания. В булевой алгебре существует два закона де Моргана:

1. Отрицание конъюнкции равно дизъюнкции отрицаний: $$overline{x \& y} = \overline{x} \lor \overline{y}$$
2. Отрицание дизъюнкции равно конъюнкции отрицаний: $$overline{x \lor y} = \overline{x} \& \overline{y}$$

Из предложенных вариантов тождеством, соответствующим закону де Моргана, является:

$$\overline{x \& y} = \overline{x} \lor \overline{y}$$

Ответ: $$\overline{x \& y} = \overline{x} \lor \overline{y}$$