Формула включений и выключений: теория и примеры