Qiy amallar. Kon’yunksiya, diz’yunksiya, inkor, implika


Mustaqil bajarish uchun masala va topshiriqlar


Download 0.75 Mb.
bet6/8
Sana21.01.2023
Hajmi0.75 Mb.
#1106210
1   2   3   4   5   6   7   8
Bog'liq
2-Amaliy ish Komp,tash,etish

2. Mustaqil bajarish uchun masala va topshiriqlar
1.2

1.3

1.4.(1.4. L) Quyidagi muloxazalarning chin yoki yolgon ekanligi-ni aniklang:
6) ; chin
7) {}; chin
8) {1,-1,2}{x| x3+x2-x-1=0, xZ}; yolgon
9) {x| x3+x2-x-1=0, xZ}{1,-1,2}; chin


2- Amaliy mashg‘ulot.
Mavzu: Kompyuterlarni tashkil qilishning raqamli mantiqiy asoslari
Ishdan maqsad: Bul algebrasida qullaniladigan asosiy munosabatlar va Bul funktsiyalarini amalga oshirishda qullaniladigan bazes elementlarini o’rganish.
Bul algebrasi
Ta’rif. Kon’yunksiya , diz’yunksiya , inkor amallari va elementlari aniklangan tuplamda shu mantikiy amallar va elementlar uchun kuyidagi aksiomalar
; (1)
; (2)
; (3)
; (4)
; (5)
; (6)
; (7)
; (8)
= ; (9)
; (10)
; (11)
; (12)
; (13)
bajarilsa, bunday tuplamga Bul algebrasi deb aytiladi.
Bul algebrasiga kuyidagi tuplamlar misol bula oladi:
1. -kandaydir tuplam (masalan, tugri chizikda yotgan nuktalar tuplami yoki natural sonlar tuplami) va ning xamma kism tuplamlardan iborat tuplam bulsin. orkali va tuplamlarning kesishmasini, orkali va tuplamlarining birlashmasini, orkali tuplamning tuplamigacha tuldiruvchisini, 0 orkali  bush tuplamni va 1 orkali tuplamni belgilab olamiz. U vaktda tuplam Bul algebrasi buladi, chunki yukorida kursatilgan 13 aksioma bajariladi.
2. Muloxazalar tuplami uchun ,  va amallari xamda 0 va 1 elementlari aniklanganligi uchun bu tuplamni Bul algebrasi deb taxmin kilishimiz turgan gap. Lekin buning uchun kuyidagi aniklikni kiritish kerak. va muloxazalar aynan teng bulishi uchun ekvivalentlik absolyut chin bulishi kerak. Ana shunday tushuncha kiritilgan muloxazalar tuplami Bul algebrasiga misol bula oladi.

Download 0.75 Mb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling