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