Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”. (2008). Збірник наукових праць "Information Technologies in Education" (ITE), 2, 130-139. https://doi.org/10.14308/ite000047