Taqdimod ishi mavzu: bul algebrasi qonunlari

Mantiqiy ko‘paytirish VA operasiyasining natijasi o‘zgaruvchan qiymatlarga ishlov berish tartibiga bog‘liq emas

1 2 3

Bog'liq
taqdimod ishi 26

Mantiqiy ko‘paytirish VA operasiyasining natijasi o‘zgaruvchan qiymatlarga ishlov berish tartibiga bog‘liq emas.
Mantiqiy qo‘shish YOKI operasiyasining natijasi o‘zgaruvchan qiymatlarga ishlov berish tartibiga bog‘liq emas.
Assosiativlik qonunini yana birikuv qonuni deb ham ataladi. U mantiqiy ko‘paytirish (rasm 10) va qo‘shish (rasm 11) uchun qo‘llanadi.
De Morgan teoremasi. Ingliz matematigi de Morgan (1806-1871) mantiqiy algebraning aksiomalarini o‘zining nomi bilan atalgan teoremalar bilan to‘ldirdi. De Morgan teoremalari VA-INKOR va YOKI-INKOR elementlari uchun bajariladigan mantiqiy operasiyalar uchun invertirlanadigan ifodalarni soddalashtirishda katta amaliy ahamiyatga ega. De Morganning ikki teoremasi mavjud.

De Morganning birinchi teoremasi:
De Morganning ikkinchi teoremasi
Teoremalarga ko‘ra mantiqiy operasiya tipi birgalikda o‘zgaradi (VAva YOKI).

Download 1.07 Mb.

Do'stlaringiz bilan baham:

1 2 3