Как называется закон, который выражается формулой ¬(A ∨ B) = ¬A ∧ ¬B? Варианты: закон де Моргана; закон поглощения; закон исключения третьего; распределительный закон.