раскрыть ветку (2)
раскрыть ветку (1)
Отрицание, отрицание, утверждение ->(свертываем слева, применяем закон двойного отрицания) -> утверждение, утверждение -> (свертываем) ->*вжжжик*
Отрицание, отрицание, утверждение ->(свертываем слева, применяем закон двойного отрицания) -> утверждение, утверждение -> (свертываем) ->*вжжжик*