finished #6 and #7 of week 3. (test CNF & FirstOrderLogic formula generator)
-- Added some old files (from week2) because they are needed in some functions or tests.
-- Not done (yet?!): Bonus Exercise.