Sinko, Y. he ethodical ecommendations of tudy of a heme “Normal orms for the ormulas of lgebra of the Statements” ith se of ntegrated rogram nvironment “MatLog.” ITE 2008, 130-139.