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