Add Logic
Add End command of the PropExercise module
Solve almost all exercises in Logic