Updated exercises
Merge branch 'martijn'
Wrapped chapter 2 into own module file
Moved all to week1
Initial week2 commit
Moved to week2
Added triangle test + test info
Added implementation for contradiction, tautology, entailment and equivalence.
Renamed test info to triangle test info
Added alternative entails method (entails2), to validate my entails method.
Added triangle tests
Finished part 1
Added testing information for contradiction, etc.
Part 2 added
Finsihed CNF translation
Added testing information for toCNF function
CNF added
Implemented tests for CNF
Merge branch 'martijn'
Reviewed work of Martijn and Bas so far