Мақсаты: 1. Шешілімдік мәселесі мен екіжақты заңды қарастыру.
2. Тавталогия түсінігін және оны алу ережесін енгізу.
3. ДНФ, КНФ, жетілдірілген ДНФ, жетілдірілген КНФ түсініктерін енгізу.
4. Пікірлер алгебрасы үшін нормаланған формалар мен жетілдірілген ДНФ
және КНФ анықтауда біліктілік пен дағдыны қалыптастыру.
5. Пікірлер алгебрасының тавталогияларын анықтауда біліктілік пен
дағдыны қалыптастыру.
Жоспар: Екіжақтылық заңы.
Шешілімділік мәселесі.
Негізгі тавталогиялар. Тавталогияларды алу ережесі.