1-blok Toʼplam tushunchasi, toʼplam elementlari Tа’rif 1

Ta`rif 1. A mulohazaning inkori deb, shunday yangi mulohazaga
aytiladiki, agarda A mulohaza yolg`on bo`lsa, uning inkori chin bo`ladi
va aksincha. A mulohazaning inkori ¬A yoki Ā kabi belgilanadi va “A
emas” deb o`qiladi.

Ta`rif 2. A va B mulohazalarning kon’yunktsiyasi deb, A va B
mulohazalar bir vaqtda rost bo`lgandagina rost bo`lib, qolgan barcha
hollarda yolg`on qiymat qabul qiluvchi mulohazaga aytiladi
Ta`rif 3. A va B mulohazalarning diz’yunktsiyasi deb, A va B
mulohazalardan kamida bittasi rost bo`lganda rost bo`lib, qolgan
hollarda yolg`on qiymat qabul qiluvchi mulohazaga aytiladi
Ta`rif 4. {0; 1; ¬; &; \/} - to’plamga mulohazalar algebrasi
yoki Bul algebrasi deyiladi
Ta`rif 5. A va B mulohazalarning implikatsiyasi deb, A
mulohaza rost bo`lib, B yolg`on bo`lgandagina yolg`on, qolgan barcha
hollarda rost qiymat qabul qiluvchi mulohazaga aytiladi
Ta`rif 6. A va B mulohazalarning ekvivalentligi deb, A va B
mulohazalarning bir xil qiymatlarida rost bo`lib, har xil qiymatlarida
esa yolg`on bo`luvchi mulohazaga aytiladi

4. 
   Mulohazalar algebrasi funksiyalari.
   
5. 
   Formulalarning tengkuchliligi.
   
6. 
   Funksiyalar superpozitsiyasi
   
7. 
   Bulalgebrasi Analitik metod – har biri o’zidan oldingisining bevosita natijasi bo’lgan gaplar zanjirini hosil qilishdan iborat. Bu zanjirning birinchi elementini isbotlash kerak bo’lgan mulohaza, oxirgi elementini esa isbotlangan haqiqat tashkil qiladi.
   

Sintetik metod – analitik metodning aksibo’lib, unda birinchi element isbotlangan haqiqat va har bitta mulohaza o’zidan keyingisining natijasi bo’ladi.
Apagogik metod – teskarisini faraz qilish yo’li bilan isbotlash metodi bo’lib, unda zanjirning birinchi elementi isbotlash kerak bo’lgan mulohazani inkor qilish bo’ladi, oxirida esa ziddiyatga olib kelinadi.

8. 
   Aynan chin, aynan yolg‘on va bajariluvchi formulalar