Тавтология в дискретной математике: Понимание и примеры