Sinko Ю. “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), no. 2, May 2008, pp. 130-9, doi:10.14308/ite000047.