adjusted feedback so it doesnt effectively just say answer to the user

Author: ashwin6-dev

evaluation_function/evaluation.py

@@ -123,16 +123,17 @@ def evaluation_function(
             if not is_correct:
                 feedback.append((
                     "equivalence",
-                    f"Comparing your formula \"{response_formula}\" with expected \"{equivalent}\". They are not equivalent."
+                    "Your formula is not equivalent to the target."
                 ))
                 if counterex:
                     if counterex.get("reason"):
                         feedback.append(("counterexample", counterex["reason"]))
                     elif counterex.get("assignment") is not None:
+                        # Use plain atom names only (assignment is already name -> bool)
                         asn = ", ".join(f"{k}={counterex['assignment'][k]}" for k in sorted(counterex["assignment"]))
                         feedback.append((
                             "counterexample",
-                            f"Under assignment ({asn}): your formula = {counterex['response_value']}, expected formula = {counterex['expected_value']}."
+                            f"Under assignment ({asn}) your formula evaluates to {counterex['response_value']}."
                         ))
         elif tautology:
             ev = TautologyEvaluator(formula)

evaluation_function/truth_table/evaluate.py

@@ -77,7 +77,7 @@ def evaluate_truth_table(variables: list[str], cells: list[list[str]], num_atoms
                 if atom not in existing_atoms:
                     return Result(
                         is_correct=False,
-                        feedback_items=[(Exception, f"in column {i+1}, atom {atom} in formula {formula_string} is undefined")]
+                        feedback_items=[(Exception, f"in column {i+1}, atom {atom.name} in formula {formula_string} is undefined")]
                     )
 
         # replace strings with 
@@ -142,13 +142,9 @@ def evaluate_truth_table(variables: list[str], cells: list[list[str]], num_atoms
             expected = FormulaEvaluator(formula, assignment).evaluate()
             got = cells[i][j]
             if expected != got:
-                formula_str = variables[j] if j < len(variables) else f"column {j+1}"
                 return Result(
                     is_correct=False,
-                    feedback_items=[(
-                        Exception,
-                        f"incorrect cell value at row {i+1}, column {j+1} (formula \"{formula_str}\"): expected {'T' if expected else 'F'}, got {'T' if got else 'F'}."
-                    )]
+                    feedback_items=[(Exception, "There is at least one incorrect cell value in the truth table.")]
                 )