Программа выполняющая преобразования в формуле

[sonic xx]

Добрый вечер уважаемые форумчане!
Мне нужно написать программку, которая будет выполнять преобразования в произвольной формуле из алгебры логики, написанной в текстовом файле. Преобразования такие:
(A<=>B)<=>(A=>B)&(B=>A) и (A=>B)<=>(-AvB)
A и B могут быть любыми. Результат записывается в другой текстовый файл. Например in.txt out.txt
Навыки программирования вС++ у меня почти нулевые. До этого работал только в паскале
Буду благодарен за помощь!