1. S.A. Firsova. mantiqiy tenglamalar tizimini yechish usuli. A.P.Chexov nomidagi Taganrog instituti axborotnomasi. 2020 yil № 2. 2. Zakrevskiy A.D. Katta mantiqiy tenglamalar sistemalarini yechish. - Minsk: Belarusiya OIPI NAS, 2009. - 96 p. 3. E. V. Dyukova, Yu I. Zhuravlev, yuqori o'lchamli tanib olish muammolarida xususiyat tavsiflarining diskret tahlili, Zh . matematika . va matematika . fiz., 2000 yil, 40-jild, 8son, 1264–1278 4. V. K. Leontiev, G. P. Tonyan . Mantiqiy tenglamalar sistemalarining taxminiy yechimlari. Hisoblash matematikasi va matematik fizika jurnali 33-jild, 1993 yil 9-son 5. A.A. Bayjumanov . Nochiziqli mantiqiy tenglamalar sistemalari bayonotlarining kompleks birikmalarining maxsus dis'yunktiv normal shakllarini minimallashtirish muammolari ilmiy. SamDU Ilmiy axborotnomasi , 2023 y., No 1- (137). 6. O‘rinboyev E., Babadjanov A.F., Bayjumanov A. Ajratilgan sinflar bilan tanib olish masalalarini yechishning algebraik usullari. SamDU Ilmiy axborotnomasi , 2022 y., No 1-(137). [1]-modda mantiqiy tenglamalar tizimini yechish usulini beradi. Tizimni tahlil qilgandan so'ng, tenglamalar tizimining turi aniqlanadi. Har xil turdagi tizimlar, jumladan, "haqiqat" qiymatini qabul qilishi kerak bo'lgan iboralarning ma'nosini ifodalovchi tenglama ko'rib chiqiladi. Keyinchalik, tizimning yechim miqdorlari tahlil qilinadi, tenglamaning chap tomoni "to'g'ri" va o'ng tomoni "noto'g'ri". Asar [2] mantiqiy sxemalarni tahlil qilish, sintez qilish va xato diagnostikasining ko'plab muammolari, shuningdek, deduktiv xulosa chiqarish, naqshni aniqlash va axborot xavfsizligi muammolari variantlarni muqarrar sanab o'tish bilan kombinatsion muammolarni hal qilishga to'g'ri kelishini tasvirlaydi. Bunday masalalarning muhim qismi mantiqiy tenglamalar tilida tuzilgan. Yuzlab mantiqiy tenglamalar va o'zgaruvchilarni o'z ichiga olgan tizimlarning ikkita sinfi ko'rib chiqiladi: ularning har birida cheklangan miqdordagi o'zgaruvchilarga ega bo'lgan katta mantiqiy tenglamalar tizimlari (LSLU) va chiziqli mantiqiy tenglamalar tizimlari (SLLU). Ish [3] tanib olish muammolarida axborotni tahlil qilishning diskret usullari asosidagi umumiy tamoyillarni belgilaydi. Mantiqiy funktsiyalar apparati yordamida tanib olish protseduralarini loyihalashga yondashuv taklif etiladi. Asosiy modellar tavsiflanadi va mantiqiy va butun matritsalarning o'lik qoplamalarini qurish asosida ularni amalga oshirishning murakkabligini o'rganish bilan bog'liq masalalar ko'rib chiqiladi. Maqolada [4] mantiqiy tenglamalar sistemalarining taxminiy yechimiga bir qancha yondashuvlar koʻrib chiqiladi. Umumlashtirilgan yechim tushunchasi kiritiladi va mantiqiy tenglamalar sistemalarining taxminiy yechimini topishning iterativ usuli taklif etiladi. [5] da Zhegalkin koʻphadlari bilan aniqlangan ikkinchi darajadan yuqori chiziqli boʻlmagan Boolean tenglamalar sistemasining alohida sinfining murakkab birikmalarini singdirish mezoni taklif qilingan. Ish [6] naqshni aniqlashning turli modellarini ko'rib chiqishni taklif qiladi. Bunday holda, modellarni ikkita operator ko'rinishida ko'rib chiqish taklif etiladi: tan olish operatori va qaror qabul qilish qoidasi. Tanish operatorlarida algebraik amallar kiritiladi va bu operatorlardan foydalanish asosida tanib olish algoritmlari oilasi yaratiladi.