Sinko Ю. 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”. Journal of Information Technologies in Education (ITE). 2 (May 2008), 130–139. DOI:https://doi.org/10.14308/ite000047.