Анализ логики: таблицы истинности и примеры тавтологии