“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’” (2008) Journal of Information Technologies in Education (ITE), (2), pp. 130–139. doi:10.14308/ite000047.