Raqamli texnika fanidan mustaqil ish

Raqamli texnika fanidan
MUSTAQIL ISH

Mavzu: De Morgan qonuni

Topshirdi: Otaboyeva Feruza

Qabul qildi: Jumaniyozova Malika

Mavzu: Tizim diskidagi vaqtinchalik fayllarni olib tashlash
Reja:

1. 
   De Morgan qonunlari nomlanishi
   
2. 
   De Morgan qonuni nima uchun kerak?
   
3. 
   Nazariy operatsiyalarni qo’llash
   

Mantiq tarixida Aristotel va Ogxam Uilyam kabi odamlar De Morgan qonunlariga tenglashtirilgan so'zlarni yozdilar.

De Morgan qonunlari 1806-1871 yillarda yashagan Avgust De Morganning nomi bilan atalgan. Garchi u bu qonunlarni topmagan bo'lsa-da, u bu so'zlarni birinchi marta taklif etuvchi mantiqda matematik formuladan foydalanib kiritdi.

Matematik statistika ba'zan to'siq nazariyasini qo'llashni talab qiladi. De Morgan qonunlari turli to'siq nazariyasi operatsiyalari o'rtasidagi o'zaro ta'sirlarni tasvirlaydigan ikkita bayon. Qonunlar A va V har qanday ikkita to'plam uchun:

1. 
   ( A ∩ B ) ^C = A ^C U B ^C.
   
2. 
   ( A U B ) ^C = A ^S ∩ B ^S.
   

Ushbu bayonotlarning har birining nimani anglatishini tushuntirgandan so'ng, ulardan har birining misolini ko'rib chiqamiz.

Nazariy operatsiyalarni o'rnatish

De Morgan qonunlari nimani anglatishini tushunish uchun biz nazariy nazariy operatsiyalarning ayrim ta'riflarini esga olishimiz kerak.

Xususan, birlashma va ikkita to'siqni kesish va to'siqni to'ldirish haqida bilishimiz kerak.

De Morgan qonunlari ittifoqning o'zaro aloqasi, kesishishi va qo'shib berilishi bilan bog'liq. Esingizda bo'lsin:

• 
  A va B silsilasini kesishishi A va B uchun umumiy bo'lgan barcha elementlardan iborat. Kesishish A ∩ B bilan belgilanadi.
  
• 
  A va B silsilasini birlashtirilishi, A yoki B da , ikkala guruhdagi elementlarni o'z ichiga olgan barcha elementlardan iborat. Kesishishi AI tomonidan belgilanadi.
  
• 
  To'siq A ning qo'shimcha qismi A ning elementlari bo'lmagan barcha elementlardan iborat. Bu qo'shimcha ^C tomonidan belgilanadi.
  

Endi biz bu oddiy operatsiyalarni esladik, biz De Morgan qonunlari bayonini ko'rib chiqamiz. A va B guruhlari har bir juft uchun:

1. 
   ( A ∩ B ) ^C = A ^C U B ^C
   
2. 
   ( A U B ) ^C = A ^S ∩ B ^S
   

Ushbu ikkita bayonnomani Venn diagrammalaridan foydalanish bilan izohlash mumkin. Quyida keltirilganidek, biz misolni ko'rsatib berishimiz mumkin. Ushbu bayonlarning to'g'ri ekanligini namoyish qilish uchun, ularni nazariy nazariy operatsiyalarning ta'riflari yordamida isbotlashimiz kerak.

De Morgan qonunlari misoli

Masalan, 0 dan 5 gacha haqiqiy sonlar majmuasini ko'rib chiqamiz. Buni intervalli eslatmada yozamiz [0, 5]. Ushbu to'siq ichida A = [1, 3] va B = [2, 4] bor. Bundan tashqari, biz boshlang'ich operatsiyalarni qo'llaganimizdan so'ng:

• 
  Qo'shimcha A ^C = [0, 1] U (3, 5)
  
• 
  B komponenti [= 0, 2] U (4, 5)
  

• 
  A U U = [1, 4]
  
• 
  Kesishishi A ∩ B = [2, 3]
  

Biz A ^S U B ^C ittifoqini hisoblash yo'li bilan boshlaymiz. (3, 5) U (3, 5) bilan [0, 2] U (4, 5) bilan [0, 2] birligi [0, 1] (3, 5) - bu [2, 3] to'plamining hammasi [0, 2] U (3, 5) ekanligini ko'rdik. .

U (4, 5) U (4, 5) U (4, 5) [0, 1] U (3, 5) kesmasi [0, 2] bilan kesishishini ko'rib turibmiz, 1, 4] da [0, 1] U (4, 5), shuning uchun A ^C ∩ B ^C = ( A U B ) ^{C ekanligini ko'rsatdik} .