Дана задача:
Во входном файле задана инфиксная форма логического выражения , содержащая односимвольные имена (большие латинские буквы) логических операндов , символы операций (малые буквы n-вместо not, a-вместо and и o- вместо or) и круглые скобки
Разработать процедуры:
1.P1-проверки корректности записи инфиксной формы;
2.P2-преобразования инфиксной формы в префиксную.
В случае ошибочности исходной инфиксной формы выдать сообщение об ошибке
Можете объяснить как ее реализовать с помощью двоичных деревьев?