Hi!
I have a question for that question because, I actually did it right on my paper but named S X1 and X1 S and thus I didn't have the points...
Was there a rule in the lecture about the renaming of the variables when transforming to a CNF I missed?
Thank you in advance for the answer,
Marc Gay-Balmaz