Описана программа, позволяющая проверять правильность преобразования логического выражения и находить решение системы логических уравнений на основе построения таблицы истинности. Изложены правила работы с программой. Представлены варианты ее использования в учебном процессе.

Рассматриваются основные приемы упрощения логических выражений, порядок выполнения операций в логическом выражении, выявление связей между различными частями сложных логических выражений, выбор лучших вариантов решения.

Представлен сценарий урока по созданию гипертекстового документа в текстовом редакторе. Повышение уровня мотивации обучения достигается игровой организационной формой в виде задания по составлению и решению кроссвордов по истории живописи. Выбор данной тематики позволяет естественным образом связать текстовую и графическую информацию и может помочь в реализации межпредметных связей, в том числе информатики с дисциплинами общекультурной и гуманитарной направленности.