evalb(simplify(expand(lhs(fact1)-rhs(fact1)- lhs(fact
2)+rhs(fact
2))) = 0) orevalb(simplify(expand(lhs(fact1)-rhs(fact1)+ lhs(fact
2)-rhs(fact
2))) = 0) if k = 5.To design the algorithms for reasoning methods to solve classes of problems, theforward chaining strategy can be[r]