Тавтология в алгебре логики: понимание и примеры