O’zbekiston respublikasi axborot va kommunikatsion texnolgiyalarni rivojlantirish vazirligi muhammad al-xorazmiy nomidagi toshkent axborot texnologiyalari universiteti mavzu: Mantiqiy elementlar va ularning turlari Bajardi

Dizyunksiya amali. Ikki mulohazalardan har ikkalasi «yolg’on» qiymat qabul qilganda «yolg’on», qolgan hollarda «rost» qiymat qabul qiladigan mulohazaga aytiladi va x1Vx2 ko’rinishida belgilanadi.

2. 
   
   Konyunksiya amali. Ikki mulohazaning konyunksiyasi deb har ikkala mulohaza «rost» qiymat qabul qilganda «rost» qolgan hollarda esa «yolg’on» qiymat qabul qiladigan mulohazaga aytiladi va x₁Λx₂ ko’rinishida belgilanadi.
   
3. 
   
   Implikasiya amali. x₁ mulohazadan x₂ mulohaza kelib chiqadi deyiladi, agar «rost» dan «yolg’on» kelib chiqishi «yolg’on», boshqa hollarda «rost» qiymat qabul qiladi va x1x2 bilan belgilanadi.
   
4. 
   
   Ekvivalentlik amali. Har ikkala mulohazalar bir xil bo’lsa «rost», qolgan hollarda «yolg’on» qiymat qabul qiladigan mulohazaga aytiladi va x1↔x2 ko’rinishida belgilanadi.
   
5. 
   
   Inkor amali. Bir mulohazaning inkori deb, mulohaza «rost» bo’lganda
   

«yolg’on», «yolg’on» bo’lganda esa «rost» qiymat qabul qiladigan mulohazaga

^{aytiladi va} x₁ ⁽ x₂ ^{) ko’rinishida bo’ladi.}
Mulohazalar algebrasi-amallar bajarish tartibida qavslar bosqichida amalga oshiriladi. Agar amallar orasida qavslar bo’lmasa amallar tartibi bo’yicha amalga oshiriladi.

Bul algebrasi qonunlari, konyunksiya va dizyunksiya amallari uchun.

1. Kommutativlik qonuni:

2. 
   
   Assosiativlik qonuni:
   

x₁x₂ = x₂x₁

x₁Vx₂ = x₁Vx₂

x₁(x₂x₃ ) = x₁x₂x₃

x₁V(x₂Vx₃ ) = (x₁Vx₂ )Vx₃ = x₁Vx₂Vx₃