Почему исполнители алгоритмов делятся на формальные и неформальные

На сході австралії.

Мой ответ на твой вопрос: Практически понимаю

Сначала умножаем первую скобку на вторую, третью оставляем без изменений.
(А/!А+!А/!В+А/!В+!В/!В)/(!А+С)=(0+!А/!В+А/!В+!В)/(!А+С)
в первых скобках вынесем !В за скобки, получаем: (!В/(!А+А+1))/(!А+С)

!А+А+1=1, значит у нас остается !В/(!А+С)

Такое чувство что вода ест тебя, поглощает в себя