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”. ITE [Internet]. 2008 May 7 [cited 2024 Nov. 8];(2):130-9. Available from: https://ite.kspu.edu/index.php/ite/article/view/685