Formulalar. Asosiy teng kuchli formulalar. Normal formalar. Mulohazalar hisobini qurish. Teng kuchli almashtirishlar. Normal formalar. Mulohazalar algebrasi

Teng kuchli formulalar. Tavtologiya – mantiq qonunii.
I.3.1 - ta’rif. MA ning Á va  formulalari berilgan bo‘lib, bu formulalar tarkibiga kirgan barcha mulohazalar A₁ ,. . ., A_m - lardan iborat bo‘lsin. Agar A₁ , . . . , A _m mulohazalarning barcha qiymatlar tizimlari ( i₁, . . . , i_m ) lar uchun Á va  formulalar bir щil qiymatlar qabul qilsalar, u holda, bu formulalar teng kuchli formulalar deyiladi.
Á va  formulalarning teng kuchliligi Á º  ko‘rinishda ifodalanadi.
I.3.2 - ta’rif. Mulohazalar algebrasining


Á( A₁,. . . , A_n) formulasi A₁ ,. . . , A_n mulohazalarning barcha qiymattizimi ( i₁, . . . , i_n) uchun 1 qiymat qabul qilsa, aynan rost formula yoki tavtologiya yoki mantiq qonunii deyiladi.
Aynan rost formulani qisqacha AR deb belgilaymiz.
I.3.3 - ta’rif. MA ning Á ( A ₁, . . . , A _n ) formulasi

A₁ ,. . . , A_n mulohazalarning barcha qiymattizimi

( i₁ , . . . , i_n ) lar uchun 0 qiymat qabul qilsa, aynan yolg‘on yoki ziddiyat deyiladi
I.3.4 - ta’rif. Agar mulohazalar algebrasining


Á (A₁ , . . . , A_n) formulasi A₁ , . . . , A_n larning kamida bitta ( i₁ , . . . , i_n ) qiymattizimida 1 ga teng qiymat qabul qilsa, u holda bu formula bajariluvchi formula deyiladi.
I.3.5 - teorema. Mulohazalar algebrasining Á va  formulalari teng kuchli formulalar bo‘lishi uchun, Á Û Â formula aynan rost formula bo‘lishi zarur va etarli.


Isbot. Á º  bo‘lsin. U holda Á va  formulalarga kirgan barcha propozitsional o‘zgaruvchilarning barcha qiymattizimlarida Á va  formulalar bir xil qiymatlar qabul qiladilar. YA’ni, Á Û Â = 1 bo‘ladi.
Aksincha, Á Û Â = 1 bo‘lsa, Á = 1 bo‘lganda  = 1 va
Á = 0 bo‘lganda  = 0 bo‘ladi.
I.3.6. Asosiy teng kuchli formulalar.

1. A Ù A º A (kon’yunksiyaning idempotentlik qonunii).

   
   

2. A Ú A º A (diz’yunksiyaning idempotentlik qonunii).

   
   

3. A Ù 1 º A .

   
   

4. A Ú 1 º 1.

   
   

5. A Ù 0 º 0 .

   
   

6. A Ú 0 º A .

   
   

7. A Ú ù A º 1 – uchinchisini inkor qilish qonunii.

   
   

8. A Ù ù A º 0 - ziddiyatga keltirish qonunii.

   
   

9. ù ( ù A ) º A - qo‘sh inkor qonunii.

   
   

10. A Ù ( V Ú A ) º A .

    
    

11. A Ú ( V Ù A ) º A .

    
    

12. A Û V º ( A Þ V ) Ù ( V Þ A ).

    
    

13. A Þ V º ù A Ú V .

    
    

14. ù ( A Ù V ) º ù A Ú ù V .

    
    

15. ù ( A Ú V ) º ù A Ù ù V .

    
    

16. A Ù V º ù ( ù A Ù ù V ).

    
    

17. A Ú V º ù ( ù A Ù ù V ).

    
    

18. A Ù V º V Ù A – kon’yunksiyaning kommutativlik qonunii.

    
    

19. A Ú V º V Ú A – diz’yunksiyaning kommutativlik qonunii.

    
    

20. A Ù ( V Ú S ) º ( A Ù V ) Ú ( A Ù S ) - Ù ning Ú ga nisbatan distributivlik qonunii.

    
    

21. A Ú ( V Ù S ) º ( A Ú V ) Ù ( A Ú S ) - Ú ning Ù ga nisbatan distributivlik qonunii.

    
    

22. A Ù ( V Ù S ) º ( A Ù V ) Ù S – kon’yunksiyaning assotsiativlik qonunii.

    
    

23. A Ú ( V Ú S ) º ( A Ú V ) Ú S – diz’yunksiyaning assotsiativlik qonunii.