Automatic Generation of an Algebraic Expression for a Boolean Function in the Basis {∧, ∨, ¬}

Nowadays, there is a global trend of transition to new forms of education. E-learning platforms, in particular LMS Moodle, significantly expand the capabilities of the traditional form of education, give them new functions and provide opportunities that are not available in traditional education. Special mention can be made of the possibility of automated computer-based testing. Testing in general, is aimed at ensuring the objectivity of assessment of student knowledge. For the test to be effective, it is required that the instructor who composes the test has a high level of competence. Questions in the test should be varied and cover all the material studied. Particularly interesting are test questions that are unique to each individual student. As part of our study, we developed an algorithm that generates an algebraic expression for a Boolean function that the student needs to calculate. The answer obtained from the student is compared to the result of calculating the Boolean function, which is also performed automatically using Reverse Polish notation. #COMESYSO1120.