This section is presented by showing two streams of related work. Firstly, it shows the assessment of students using different kind of test and secondly, it presents a brief overview of propositional logic calculus.