1. Предикатлар мантики формуласининг нормал шакли

Муаммоли масала ва топшириклар:
1. Куйида келтирилган формулаларнинг кайси бирлари умумкийматли?
1) ;
2) ;
3) ;
4) ;
5) ;
6) ;
7) ;
8) ;
9) ;
10) ;
11) ;
12) ;
13) ;
14) ;
15) ;
16) ;
17) .
Мустакил ишлаш учун саволлар:

1. 
   Формуланинг деярли нормал шакли. Формуланинг нормал шакли.
   
2. 
   Хар кандай формулани нормал шаклга келтириш мумкинлиги.
   
3. 
   Бажарилувчи ва умумкийматли формулалар.
   
4. 
   Айнан чин ва айнан ёлгон формулалар.
   
5. 
   Бажарилувчи ва умумкийматли формулалар хакидаги теоремалар.