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’”. ournal of nformation echnologies in ducation (ITE), no. 2, May 2008, pp. 130-9, doi:10.14308/ite000047.