Для самостоятельного решения предлагаются задания на: составление таблиц истинности, определения порядка действий логических операций (конъюнкция, дизъюнкция, импликация, эквивалентность). Работа представлена на 9 слайдах, на 2-х из которых представлены задачи для самостоятельного решения, на оставшихся семи оставших представлены задачи для разбора на доске.