Выделенное красным
Нужно повести к ПНФ и СНФ
И унификацию
расписать максимально подробно ход решения?