Mulohaza. Mulohazalar ustida mantiqiy amallar. Formulalar. TENG KUCHLI Formulalar. Aynan chin, aynan yolg’on va bajariluvchi formulalar

Sinov savollari

1. 
   Quyidagi formulalarning chinlik jadvallarini tuzing:
   

a) ; b); ; d) ;

e) ; f) ;

g) ; h) ;

i) , ;

j) , .

2. 
   Quyidagi teng kuchliliklarni isbotlang:
   

a) ; b) ;

d) ; e) ;

f) ; g) ;

h) ; i) ;

j) ;

k) .

3. 
   Quyidagi formulalarni soddalashtiring:
   

a) ; b) ; d) ;

e) ; f) ;

g) .

4. 
   Quyidagilarning qaysilari aynan chin, qaysilari aynan yolg‘on formula bo‘lishini aniqlang:
   

a) ; b) ;

d) ; e) ;

f) ; g) ;

h) ; i) ;

j) ; k) ;

l) .

5. 
   Quyidagi formulalarning har biri bajariluvchi formula bo‘lishini ko‘rsating:
   

a) ; b) ;

c) ; d) .

6. 
   Quyidagi formulalarni tavtologiyalar, doimo yolg‘on va bajariluvchi formulalar guruhlariga ajrating:
   

a) ; b) ;

c) ; d)

e) ; f)

g) h) .

7. 
   Quyidagilarni aynan chin va aynan yolg‘on formulalar guruhlariga ajrating:
   

a) ;

b) ;

d) ;

f) ;

g) ; h) ;

i) ; j) ;

k) ;

l) .

8. 
   Agar elementar mulohazaning qiymati ch bo‘lsa, u holda va implikatsiyalarning qiymatlarini aniqlang.
   
9. 
   Agar implikatsiyaning qiymati ch bo‘lsa, u holda , va implikatsiyalarning qiymatlarini aniqlang.
   
10. 
    Quyidagilarning qaysilari aynan chin, qaysilari aynan yolg‘on formula bo‘lishini aniqlang:
    

a) ; b) ;

d) ; e) ;

f) ; g) ;

h) ; i) ;

j) ; k) ;

l) .

11. 
    Quyidagi formulalarning har biri bajariluvchi formula bo‘lishini ko‘rsating:
    

a) ; b) ;

c) ; d) .

12. 
    Quyidagi formulalarni tavtologiyalar, doimo yolg‘on va bajariluvchi formulalar guruhlariga ajrating:
    

a) ; b) ;

c) ; d)

e) ; f)

g) h) .

13. 
    Quyidagilarni aynan chin va aynan yolg‘on formulalar guruhlariga ajrating:
    

a) ;

b) ;

d) ;

f) ;

g) ; h) ;

i) ; j) ;

k) ;

l) .

14. 
    Agar elementar mulohazaning qiymati ch bo‘lsa, u holda va implikatsiyalarning qiymatlarini aniqlang.
    
15. 
    Agar implikatsiyaning qiymati ch bo‘lsa, u holda , va implikatsiyalarning qiymatlarini aniqlang.