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.” ITE 2008, 130-139.