Sinko Ю.І. “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 7, 2008): 130–139. Accessed November 8, 2024. https://ite.kspu.edu/index.php/ite/article/view/685.