Введение в математическую логику и теорию алгоритмов - презентация онлайн Предваренная нормальная форма пример