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