



В поисковых запросах операция «НЕ» обозначается знаком ~, операция «И» обозначается знаком &, а операция «ИЛИ» — знаком |.
Пусть A — множество страниц, на которых встречается слово A, а B — множество страниц, на которых встречается слово B; тогда:
а) запрос A & B соответствует пересечению множеств A ∩ B;
б) запрос A | B соответствует объединению множеств A ∪ B.
Будем обозначать через NX количество страниц, которые выдаёт поисковая система по запросу X.
Для двух областей справедлива формула включений и исключений, которая позволяет легко решать все задачи с двумя областями:
NA | B = NA + NB − NA & B
Эту формулу можно переписать в разных формах в зависимости от того, что требуется найти, например,
NA & B = NA + NB − NA | B;
NA = NA | B + NA & B − NB;
NA + NB = NA | B + NA & B
Равенство сохраняется, если каждая из 4-х областей заменяется на её пересечение с третьей областью C:
N(A | B) & C = NA & C + NB & C – NA & B & C
Таким образом, если все 4 запроса имеют вид X & C, область C при вычислениях можно игнорировать (это равносильно переходу от областей A и B к областям A’ = A & C и B’ = B & C, что не изменяет результата).
Формула включений и исключений для трёх областей выглядит так:
NA | B | C = NA + NB + NC – NA & B – NA & C – NB & C +
+ NA & B & C.