Тема : Составление запросов для поисковых систем с использованием логических выражений

Еще пример задания:

	Запрос	Количество страниц (тыс.)
1	мезозой	50
2	кроманьонец	60
3	неандерталец	70
4	мезозой | кроманьонец	80
5	мезозой | неандерталец	100
6	неандерталец & (мезозой | кроманьонец)	20

Решение (круги Эйлера):

1. 
   обозначим области «мезозой», «кроманьонец» и «неандерталец» буквами М, К и Н; пронумеруем подобласти, получившиеся в результате пересечений кругов (см. рисунок справа)
   
2. 
   через N­_i обозначим количество сайтов в области с номером i
   
3. 
   нас интересует результат запроса
   

4. 
   из первых двух запросов следует, что
   

5. 
   складывая левые и правые части уравнений, получаем
   

6. 
   в то же время из запроса 4 получаем
   

7. 
   вычитая из уравнения (1) уравнение (2), отдельно левые и правые части, получаем
   

8. 
   из запросов 1 и 3 следует, что
   

9. 
   складывая левые и правые части уравнений, получаем
   

10. 
    в то же время из запроса 5 получаем
    

11. 
    вычитая из уравнения (3) уравнение (4), отдельно левые и правые части, получаем
    

12. 
    теперь проанализируем запрос 6:
    

13. 
    вычитая из уравнения (6) уравнение (5) получаем N₆ = 0, поэтому
    

14. 
    таким образом, ответ – 30.