Recent content by budihart

  1. B

    Predicate logic to prove equality of two formulas

    Hi All, 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...
Back
Top