Запрос (Москва & Киев) | (Минск & Киев) можно переписать в виде Киев & (Москва | Минск)
Таким образом, во всех запросах рассматриваются только страницы, содержащие слово Киев. Можно считать, что область поиска ограничена страницами, которые содержат слово Киев, а в запросах это слово не указывается. Поэтому далее мы слово «Киев» при описании запросов будем опускать. Пусть обозначает количество страниц, найденных по запросу Для любых двух запросов и выполнено: (при подсчете страниц, которые содержат текст или текст путем сложения и мы учитываем страницы, содержащие оба текста дважды). Поэтому (подсчет ведется в тысячах страниц)