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 [nternet]. 2008 May 7 [cited 2026 Aug. 5];(2):130-9. vailable from: https://ite.kspu.edu/index.php/ite/article/view/685