Fixed a small mistake
Worked on cleaning the assignment (ass3tst, doesnt work) and also normalization of the CNF now works.
Worked on cleaning the assignment (ass3tst, doesnt work) and also normalization of the CNF now works.