Әдебиет: 1, 101 бет, 5, 31 бет, 6, 16-23 бет; Бақылыу сұрақтары

1. 
   Пікірлер алгебрасының формулалары дегеніміз не?
   
2. 
   Пікірлер алгебрасының қандай формулалары мәндес деп аталады?
   
3. 
   Буль алгебрасының заңдары атап шығыңыз.
   
4. 
   Логикалық формулалардың негізгі заңдарының анықтамаларын айтыңыз. Мысалдар келтіріңіз.
   
5. 
   Логикалық формулалардың негізгі түрлері арасында қандай байланыс бар.
   

8. 
   тақырып
   

1. Шешілімдік мәселесі мен екіжақты заңды қарастыру.

2. Тавталогия түсінігін және оны алу ережесін енгізу.

3. ДНФ, КНФ, жетілдірілген ДНФ, жетілдірілген КНФ түсініктерін енгізу.

4. Пікірлер алгебрасы үшін нормаланған формалар мен жетілдірілген ДНФ

және КНФ анықтауда біліктілік пен дағдыны қалыптастыру.

5. Пікірлер алгебрасының тавталогияларын анықтауда біліктілік пен

дағдыны қалыптастыру.

1. 
   Екіжақтылық заңы.
   
2. 
   Шешілімділік мәселесі.
   
3. 
   Негізгі тавталогиялар. Тавталогияларды алу ережесі.
   

5. Жетілдірілген нормаланған формалар: ДНФ, КНФ.