Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”. Збірник наукових праць "Information Technologies in Education" (ITE), n. 2, p. 130–139, 7 Трав2008.