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;(2):130-139. doi:10.14308/ite000047