Bul funksiyaslari dеyiladi. Axborot almashish: kodlash va dekodlash jarayonlarida keng qo’llaniladigan funksiyalardan biri Bul funksiyasi hisoblanadi. Bul funksiyasi

Agar P(x) predikat bo’lsa, u holda (E(teskarisi)x)P(x) – yozuv N to’plamda shunday x element topiladiki, uning uchun P(x) mulohaza o’rinli degan ma`noni bildiradi. Bu mulohaza rost bo’ladi, qachonki x ning kamida bitta qiymatida P(x) o’rinli bo’lsa. E(teskarisi) - belgi mavjudlik kvantori deyiladi.

• Agar P(x) predikat bo’lsa, u holda (E(teskarisi)x)P(x) – yozuv N to’plamda shunday x element topiladiki, uning uchun P(x) mulohaza o’rinli degan ma`noni bildiradi. Bu mulohaza rost bo’ladi, qachonki x ning kamida bitta qiymatida P(x) o’rinli bo’lsa. E(teskarisi) - belgi mavjudlik kvantori deyiladi.

Umumiylik va mavjudlik kvantorlari uchun quyidagi xossalar o’rinli:

Umumiylik va mavjudlik kvantorlari uchun quyidagi xossalar o’rinli:

xulosa:

• Bu presitatsiyadan maqsad bull funksiyalar va bull ayniyatlar, formulalarning teng kuchliligini, predikatlar va umumiylik mavjudlik kvantorlari haqida bilimlarimizni mustahkamlab oldik.

Foydalanilgan adabiyotlar

• Xotam To’rayev. “Matematik mantiq va diskret matematika”. (2003)
• Aseyev G.G., Abramov O.M. “Diskret matematika”
• Kolmogorov A.N., Fomin S.V. “Elementlar territoriyasi funksiyasi va funksiyonalligi”
• Wikipedia.com sayti