Выполнить синтаксический и семантический анализ выражений, представленных в СКНФ

Написать программу, которая будет выполнять синтаксический и семантический анализ выражений представленных в совершенной конъюнктивной нормальной форме (СКНФ). Выражение может использовать логические операции: конъюнкцию, сложение по модулю два и дизъюнкцию, а также иметь вид, соответствующий требованиям, предъявляемым к выражениям в форме СКНФ. Ограничения на число переменных должны отсутствовать. Учитывать, что при синтаксическом анализе выражение может содержать константы и переменные. Перед выполнением семантического анализа всем переменным должны быть присвоены соответствующие значения. Переменные в исходном выражении, которым будут присвоены значения, должны идентифицироваться автоматически. Если выражение содержит ошибки, то при формировании результата синтаксического анализа должен быть указан тип ошибки. Для семантического анализа должен быть предусмотрен режим пошагового отображения, т.е. вывод текущего состояния вычисляемого выражения после выполнения каждой операции [1,2].

0