I'm trying to write a program that will prove that a certain mathematical formula that is entered by a student is the same as the goal formula that I want.
For example, if the goal formula is: 2 * X + Y
then any of this student's answer can be considered correct:
-> X + X + Y
-> X - 5 + X + Y + 5
-> X/Y * Y + Y + X
-> Y + X * 2
and so on.
I have a thought that I can solve this problem by converting this mathematical formula to a predicate logic. But I still cannot figure out, how can I actually do it.
Any help is really appreciated.