Твердохліб, І. А. «Навчання мінімізації булевих функцій як невід’ємна складова вивчення логічних основ інформатики». Науковий часопис Українського державного університету імені Михайла Драгоманова. Серія 2. Комп’ютерно-орієнтовані системи навчання, вип. 14 (21), Лютий 2014, с. 59-65, https://sj.udu.edu.ua/index.php/kosn/article/view/500.