Пример внизу, а первая задача это минимизация этого примера, а вторая проверить правильность минимизации