Logic is constructive in nature, and in a course on logic a student learns how
to manipulate logical formulas. For example, a student has to learn how to
simplify a logical formula, how to transform a logical formula into disjunctive
normal form (DNF), and how to prove equivalences of logical formulae.
Solving logical exercises is often done with pen and paper, but e-learning
tools offer great possibilities. In particular for a distance learning university
such as the Dutch Open University it is important to support the interactive
construction of solutions to logical exercises. Currently all exercises and solutions
can be found in our lecture notes for the courses that teach logic