Sinko Y. 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]. 2008May7 [cited 2024Jul.3];(2):130-9. Available from: https://ite.kspu.edu/index.php/ite/article/view/685