Automating the formal logic course

Formal logic topics are typical parts of the introductory faculty level artificial intelligence courses. An important part of each faculty course are student quizzes and exams. Despite the fact that the propositional logic is a formal system, in many institutions exams are prepared and graded manually. This process is labour intensive and error prone. In this paper, we present two tools for automating a part of this process: the random propositional logic formula generator and the propositional logic formula parser. The random logical formula generator is used to create logical formulae with desired content and complexity and the formula parser can be used to automatically evaluate the well formedness of formulae entered by students. Together, they are used as a part of the integrated artificial intelligence course management system at the Faculty of Electrical Engineering and Computing, University of Zagrebm Croatia. Computer aided quiz assembly enables teaching staff to easily assign each student their own, unique questions in order to discourage cheating. Aside from the aforementioned purposes, they are used as a support for the mutual development of both components, using test driven development paradigm.