Навчання мінімізації булевих функцій як невід’ємна складова вивчення логічних основ інформатики