Logikalıq ámeller Tómendegi formulalardıń shınlıq kestelerin dúziń

Logikalıq ámeller

1. 
   Tómendegi formulalardıń shınlıq kestelerin dúziń:
   

2. 
   Tómendegi formulalardı kon'yunktiv normal formaǵa keltiriń:
   

3. 
   Quyidagi formulalarni dizyunktiv normal shaklga keltiring:
   

4. 
   Tómendegi formulalardı jetilisken kon'yunktiv normal formaǵa keltiriń:
   

4. 
   Tómendegi formulalardı jetilisken dizyunktiv normal formaǵa keltiriń:
   

Predikatlar algebrası