SinkoY. 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), n. 2, p. 130-139, 7 May 2008.