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