Amaliy ish № Bilimlarni namoyish etishning mantiqiy modeli

4- misol. formulani normal shaklga keltirish talab etilsin. formulada teng kuchli almashtirishlarni o‘tkazib, uni normal shaklga keltiramiz:

. ■

ХУЛОСА
1.Kvantor amallari va ularning xossalarini o’rganildi.
2.Predikat formulalarining deyarli normal shaklini hosil qilish jarayonini o’rganildi.
3.Namunaviy misol va masala hamda uning yechimini aniqlashni o’rganildi.
4. Amaliy topshiriqlar mazmuni bilan tanishildi.





Laboratoriya topshiriqlari.
Quyidagi formulalarni deyarli normal shaklga keltiring.

1. 
   x(A(x) B(y))y(B(y) A(x))
   
2. 
   x(A(x)x(C(x)))x((C(x)A(x))
   
3. 
   x(A(x)x(B(x)))y(A(x) C(y)C(y)B(x))
   
4. 
   x(A(x)x(B(y)))x(A(x) B(y))
   
5. 
   x(A(x)B(y))y(A(x)(B(y)C(z))z(A(x)C(z))
   
6. 
   x(A(x)y(B(y)C(z)))z(A(x)B(y)C(z))
   
7. 
   x(A(x) B(y))y(B(y) A(x))
   
8. 
   x(A(x)B(z))y(C(y)A(x))z(C(y)B(z))
   
9. 
   x(A(x)B(y))y((C(y)A(x))(C(y)y(B(y)))
   
10. 
    x(A(x)B(y))y(A(x)(B(y)C(z)))(A(x)z(C(z)))
    
11. 
    x(A(x)B(y)A(x)y(B(y)C(z)))(A(x)z(C(z)))
    
12. 
    x(A(x)z(B(y)C(z)))y(B(y)(A(x)C(z)))
    
13. 
    (x(A(x))x(B(x)))z((B(x)C(z))(A(x)C(z)))
    
14. 
    (x(A(x))x(B(x)))( B(x)A(x))
    
15. 
    (x(A(x)))(x(B(x)))y(C(y)A(x)C(y)B(x))
    
16. 
    x(A(x)y(B(y)))( B(y)A(x))
    
17. 
    (x(B(x))x(A(x)))y((A(x)C(y))( C(y)B(x)))
    
18. 
    x(A(x)y(B(y)))(B(y)A(x))
    
19. 
    x(A(x)y(B(y)))(B(y)A(x))
    
20. 
    x(A(x)B(x))y(B(x)C(y)z(C(y)D(z)))
    
21. 
    (x(A(x)B(x))z(C(z)A(x)))y(C(z)B(y))
    
22. 
    (x(B(x)y(A(y)))(y(B(y)(A(x)C(z))))z(C(z))
    
23. 
    x(B(x))y(A(y)B(x))
    
24. 
    x(A(x)B(x))(y(C(y)A(x))z(C(z)B(x)))
    
25. 
    x(B(x)A(y))(B(x)y(A(y)C(z)))z(C(z)))
    
26. 
    (x(A(x))x(B(x)))( B(x)A(x))
    
27. 
    (x(A(x)))(x(B(x)))y(C(y)A(x)C(y)B(x))
    
28. 
    x(A(x)y(B(y)))( B(y)A(x))
    
29. 
    (x(B(x))x(A(x)))y((A(x)C(y))( C(y)B(x)))
    
30. 
    x(A(x)y(B(y)))(B(y)A(x))
    

TARTIB RAQAM