Kholmatov, J. ., R. . Khudoyshukurova, and S. . Ibadullayev. “Bul Algebrasi Funksiyalari Sistemasini Post Teoremasi Asosida toʻliqlikka Tekshirish”. Информатика и инженерные технологии, vol. 1, no. 2, Nov. 2023, pp. 66-70, https://inlibrary.uz/index.php/computer-engineering/article/view/24988.