2-bob mulohazalar algebrasi 1-§. Mulohazalar va ular ustida amallar

2-bob bo’yicha nazorat savollari

1. 
   Muloxazalar ustida amallar. Mulohazalar algebrasi.
   
2. 
   Tavtalogiya va ziddiyat. Tavtalogiyalar haqida teoremalar.
   
3. 
   Rostlik jadvalini to‘ldirish.
   
4. 
   Tengkuchli formulalar.
   
5. 
   Rostlik funksiyalari. Ikkilik qonuni.
   
6. 
   Amallarning to‘liq sistemalari.
   
7. 
   Echilish muammosi.
   
8. 
   Dizyunktiv va Konyunktiv normal formalar.
   
9. 
   Mukammal dizyunktiv va konyunktiv normal formalar.
   
10. 
    MAF ning tatbiqlari. Rele kontakt sxemalar.