Talim vazirligi buxoro davlat universiteti fizika-matematika fakulteti

Bajariluvchi formulalar. Endi berilgan formula uning atrkibida qatnashuvchi elementar mulohazalarning ba’zi qiymatlar satrlari uchun ch, ba’zilari uchun esa yo qiymat qabul qilish holini qaraymiz.
2.4.1-ta’rif. Tarkibidagi elementar mulohazalarning kamida bitta qiymatlar satrida ch qiymat qabul qiluvchi aynan ch in bo’lagan formula bajariluvchi formula deb ataladi.
2.4.1-misol. formulalar bajariluvchi formulalardir, lekin formulalar bajariluvchi formulalar emas (1-,2- va 3- jadvallarga qarang)

Xulosa:
- Mulohaza. Mulohazalar ustida amallar haqida ma’lumot berildi;
- Formula va teng kuchlilik tushunchalari haqida ma’lumot hamda formulalar, jadvallar keltirildi;
-Tavtologiya ta’rif, teorema va misollar keltirildi jadvallari bilan;
-Aynan chin formulalar ta’rif, teorema va misollar keltirildi jadvallari bilan;
-Aynan yolg’on formullar ta’rif, teorema va misollar keltirildi jadvallari bilan;
- Bajariluvchi formulalar ta’rif, teorema va misollar keltirildi jadvallari bilan;


Foydalanilgan adabiyotlar:
1. Mirziyoyev Sh . M. Erkin va farovon demokratik O’zbekiston davlatini birgalikda barpo etamiz . O’zbekiston Respublikasi Prezidenti lavozimiga kirishish tantanali marosimiga bag’ishlangan Oliy Majlis palatalarining qo’shma majlisidagi nutq , Toshkent , 2016 .
2 . Mirziyoyev Sh . M . Tanqidiy tahlil , qat’iy tartib - intizom va shaxsiy jabobgarlik - har bir raxbar faoliyatining kundalik qoidasi bo’lishi kerak . Mamlakatimizni 2016 – yilda ijtimoiy – iqtisodiy rivojlantirishning asosiy yakunlari va 2017 yilga mo’ljallangan iqtisodiy dasturning eng muhim ustuvor yo’nalishlariga bag’ishlngan Vazirlar Mahkamasining kengaytirilgan majlisidagi ma’ruza , 2017 yil 14 – yanvar - Toshkent , O’zbekiston , 2017 .
3 . Mirziyoyev Sh . M . Buyuk kelajagimizni mard va olijanob xalqimiz bilan birga quramiz . Mazkur kitobdan O’zbekiston Respublikasi Prezidenti Shavkat Mirziyoyevning 2016 yil 1- noyabrdan 24 noyabrga qadar Qoraqalpog;iston Respublikasi , viloyatlar va Toshkent shahri saylovchilari vakillari bilan o’tkazilgan saylovoldi uchrashuvlarida so’zlagan nutqlari o’rin olgan . Toshkent , O’zbekiston , 2017 . 488- bet .
4 . Mirziyoyev Sh . M . Qonun ustuvorligi va inson manfaatlarini taminlash yurt taraqqiyoti va xalq farovonligining garovi . O’zbekiston Respublikasi Konstitutsiyasi qabul qilinganining 24 yilligiga bag’ishlangan tantanali marosimdagi ma’ruza . 2016 yil , 7- dekabr – Toshkent , O’zbekiston 2017, 48- bet.
5 . Hotam To’rayev “ Matematik mantiq va diskret matematika “
Toshkent “ O’qituvchi “ -2003 .
6 . Kenneth H. Rosen Discrete mathematics and is applications , 7- edition , The Mc Graw – Hill Companies 2012 . Введение в математичискую Логину : М . Наука 1984
7 . Мендельсон Е.Введение в математичискую Логину : М . Наука 1984.
8 . Яблонский С .В . Введение в дискретнию математику - М . Наука 1986.
9 . Y unusov A . S . - Matematik mantiq va algoritimlar nazariyasi elementlari . Toshkent 2008 .
10. Hotam To’rayev 2 jildli kitob “ Diskret matematika va matematik mantiq “ 2013 – yil .
11 . Зиков А. А . Основы теории графов . М . « Наука « , 1987.
12 . Новиков П . С . Элементы математической логики . М . Наука , 1973 .
Internet saytlari
13. www.lib.homelinex.org /math
14 . www.eknigu.com./lib/ Mathematics/
15 . www.eknigu .com/info/M
16. http://dimacs,Rutgers,edu/
17. http://www.math.uu.se/logic-server/
18 . http://book.uhost.ru./036413/