This paper introduces the use of propositional logic calculus in the elaboration of educational quizzes to assess the level understanding of students in a specific theme of their courses. The technique introduced in this paper goes beyond multiple-choice quizzes. The technique requires several...