Импликацию можно заменить на $$\overline{A} + B$$, а штрих Шеффера на $$\overline{A+B}$$. Выражение становится: $$\overline{A} + A \rightarrow B + A \downarrow B = A + (\overline{\overline{A} + B}) + \overline{A+B} = A + A\overline{B} + \overline{A+B} = \overline{A} + \overline{B} + \overline{A}B + A + A\overline{B} = A + A\overline{B} + \overline{A} + \overline{B} $$ Дальнейшее упрощение затруднительно без дополнительной информации.