Mavzu: mulohazalar algebrasi va mulohazalar orasidagi bog’lanish

Keltirib chiqarish qoidasi.


H va W mulohazalar hisobining ikkita
formulalar majmuasi bo’lsin. H,W orqali bu majmualarning yig’indisini (birlashmasini) belgilaymiz, ya’ni
H,W H W .
Agar W majmua bitta C formuladan iborat bo’lganda ham H {C}
birlashmani H,C ko’rinishda yozamiz.

Mulohazalar hisobi formulalarini xuddi mulohazalar algebrasi formulalari sifatida qarash mumkin. Buning uchun mulohazalar hisobi o’zgaruvchilariga mulohazalar algebrasi o’zgaruvchilari singari qaraymiz, ya’ni o’zgaruvchilar chin yoki yolg’on (1 yoki 0) qiymat oladi deb hisoblaymiz.

, ,va amallarni mulohazalar algebrasidagiday aniqlaymiz.
Mulohazalar hisobining har bir formulasi, o’zgaruvchilar uning ifodasiga qanday kirishidan qat’iy nazar, 1 yoki 0 qiymat qabul qiladi. Uning qiymati mulohazalar algebrasidagi qoidalar bo’yicha hisoblanadi.

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/