Mumkin. Isboti. Mantiq algebrasining ixtiyoriy formulasini tahlil qilib, agar berilgan formula knshda bo‘lmasa, u vaqtda quyidagi ikkita hollardan biri ro‘y berishini ta’kidlaymiz

Kon’yunktiv normal shakl (KNSh) deb, dizyunktiv bir hadlar kon’yunksiyasiga ayiladi, ya’ni bi , i=1, 2, …,l kon’yunktiv bir hadlar bo‘lsa, b1&b2&…&b2 – ifoda KNSh deyiladi.
Har bir formula uchun cheksiz ko‘p KNSh, DNSh lari mavjud.
FOYDALANILGAN ADABIYOTLAR.
“O’zbekiston Respublikasi yanada rivojlantirish bo’yicha harakatlar strategiyasi to’g’risida”gi O’zbekiston Respublikasi Prezidentining Farmoni. Toshkent: Adolat 2017.
I.A.Karimov Yuksak manaviyat-yengilmas kuch.-T.: Sharq, 2008.
Ozbekiston Respublikasi «Talim togrisida» Qonuni. Barkamol avlod - Ozbekiston taraqqiyotining poydevori. -T.: Sharq, 1997.
To’rayev H.T. Matematik mantiq va diskret matematika. T: Taffakur Bo’stoni, 2011
To’rayev H.T. Mulohazalar hisobi va predikatlar mantiqi. Muammoli lektsiyalar kursi Samarqand SamDU nashriyoti, 2003
Nazarov R.N., Toshpo’latov B.T., Dusumbetov A.D. Algebra va sonlar nazariyasi. T, o’qituvchi 2 qism, 1995 й.
Куликов Л. Я. Алгебра и теория чисел. Москва: Высш.шк. 1979 г. (
Ziyonet.uz
Referat.uz