Sinko, Y. (2008). The Methodical Recommendations of Study of a Theme “Normal Forms for the Formulas of Algebra of the Statements” with use of Integrated Program Environment “MatLog”. ournal of nformation echnologies in ducation (ITE), (2), 130–139. https://doi.org/10.14308/ite000047