Твердохліб, І. А. Навчання мінімізації булевих функцій як невід’ємна складова вивчення логічних основ інформатики. kosn 2014, 59-65.