Байжуманов, А. «Некоторые критерии преобразования логических формул к дизъюнктивной нормальной форме». Международный Журнал Теоретических и Прикладных Вопросов Цифровых Технологий, т. 3, вып. 1, март 2023 г., сс. 25-33, https://ijdt.uz/index.php/ijdt/article/view/59.