Тип урока – урок изучения нового материала. Форма урока – проблемное изложение, исследование и практическая отработка, посредством выполнения заданий в групповых карточках. Данный урок – второй в разделе «Основы логики и логические основы компьютера», где происходит первое знакомство с основными логическими операциями, их обозначением, таблицами истинности.
Урок закрепления знаний. На уроке закрепляются основные понятия формальной логики, а также правила записи; составляются с помощью формального языка логики сложные высказывания текстов, в которых имеются логические операции.
Технические средства обучения: персональные компьютеры для каждого обучающегося, интерактивная доска, мультимедийный проектор.