[Teoretic]

Они-то и являются искажениями сравнения: мы не можем корректно сравнивать сигналы со входа и ООС, когда у усилителя со входом такое неоднозначное творится.

Главное, чтобы сумматор выдавал монотонную (пусть и нелинейную) функцию от разности, что в нормальных схемах выполняется всегда. Далее эта нелинейность просто добавляется к общей нелинейности усилителя и так же подавляется обратной связью.