Я хочу написать анализатор Java, который преобразует логическую функцию нестандартной формы (NSF) в стандартную форму (SF).

Пример NSF:

A * B + D (A + B) C + A * B (A * B '+ A + B) D

Чтобы получить NSF для SF, вы должны умножить скобки. SF из приведенной выше функции выглядит так:A*B + D*A*C + D*B*C + A*B*A*B'*D + A*B*A*D + A*B*B*D

У кого-нибудь есть идеи, как я могу это реализовать?

благодарю вас