SinkoY.I. 2008. “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), no. 2 (May), 130-39. https://doi.org/10.14308/ite000047.