Законы алгебры логики / Закон де Моргана + доказательство [Алгебра логики] #5