Определение математических понятий: Отрицание, Конъюнкция, Дизъюнкция, Импликация, Эквиваленция, Законы де Моргана, Алгоритм доказательства эквивалентности высказываний с помощью таблиц истинности, Тавтология. Наглядные примеры.