An interactive tool for manipulating logical formulae

Abstract

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.