Смешивание сложения и вычитания с логическим НЕ

Я нашел несколько упражнений, в которых вы комбинируете n-битные значения дополнения до 2 по-разному и по возможности упрощаете вывод (в их практических упражнениях используется 16-битный код, но это не имеет значения).

Например:
! (! X &! Y) == x | y
0 & y, инвертировать вывод == -1

У меня нет проблем с применением законов Де Моргана с примерами, использующими AND, OR, и НЕ, но у меня возникают проблемы с использованием НЕ с + и -

Например:
! (! X + y) == xy
! (Y-1) == -y

Как НЕ распространяется?

Изменить: в ответ на комментарии: Я понимаю, что это побитовое НЕ. Мой вопрос: с точки зрения алгебры, как это распределяется по алгебре? Пример в Википедии