В по­ис­ко­вых за­про­сах опе­ра­ция «НЕ» обо­зна­ча­ет­ся зна­ком ~, опе­ра­ция «И» обо­зна­ча­ет­ся зна­ком &, а опе­ра­ция «ИЛИ» — зна­ком |.

Пусть A — мно­же­ство стра­ниц, на ко­то­рых встре­ча­ет­ся слово A, а B — мно­же­ство стра­ниц, на ко­то­рых встре­ча­ет­ся слово B; тогда:

а) за­прос A & B со­от­вет­ству­ет пе­ре­се­че­нию мно­жеств AB;

б) за­прос A | B со­от­вет­ству­ет объ­еди­не­нию мно­жеств AB.

Будем обо­зна­чать через NX ко­ли­че­ство стра­ниц, ко­то­рые выдаёт по­ис­ко­вая си­сте­ма по за­про­су X.

Для двух об­ла­стей спра­вед­ли­ва фор­му­ла вклю­че­ний и ис­клю­че­ний, ко­то­рая поз­во­ля­ет легко ре­шать все за­да­чи с двумя об­ла­стя­ми:

 

NA | B = NA + NBNA & B

 

Эту фор­му­лу можно пе­ре­пи­сать в раз­ных фор­мах в за­ви­си­мо­сти от того, что тре­бу­ет­ся найти, на­при­мер,

 

NA & B = NA + NBNA | B;

NA = NA | B + NA & BNB;

NA + NB = NA | B + NA & B

 

Ра­вен­ство со­хра­ня­ет­ся, если каж­дая из 4-х об­ла­стей за­ме­ня­ет­ся на её пе­ре­се­че­ние с тре­тьей об­ла­стью C:

N(A | B) & C = NA & C + NB & CNA & B & C

 

Таким об­ра­зом, если все 4 за­про­са имеют вид X & C, об­ласть C при вы­чис­ле­ни­ях можно иг­но­ри­ро­вать (это рав­но­силь­но пе­ре­хо­ду от об­ла­стей A и B к об­ла­стям A’ = A & C и B’ = B & C, что не из­ме­ня­ет ре­зуль­та­та).

Фор­му­ла вклю­че­ний и ис­клю­че­ний для трёх об­ла­стей вы­гля­дит так:

 

NA | B | C = NA + NB + NCNA & BNA & CNB & C +

+ NA & B & C.