how could I replace the letters in the number clause that served as symbols? I used a sym library.
I have
from sympy.logic.boolalg import to_cnf from s
