Некоторый сегмент сети Интернет состоит из 1000 сайтов. Поисковый сервер в автоматическом режиме составил таблицу ключевых слов для сайтов этого сегмента. Вот её фрагмент.
| Запрос | Количество сайтов, для которых данное слово является ключевым |
| Сомики | 250 |
| Меченосцы | 200 |
| Гуппи | 500 |
Сколько сайтов будет найдено по запросу Сомики & Меченосцы & Гуппи, если по запросу Сомики & Меченосцы было найдено 200 сайтов, а по запросу Меченосцы & Гуппи – 60 сайтов?
Для обозначения логической операции «ИЛИ» в запросах используется символ «|», а для обозначения логической операции «И» – символ «&».
Дополним условие:
| Запрос | Количество сайтов, для которых данное слово является ключевым |
| Сомики | 250 |
| Меченосцы | 200 |
| Гуппи | 500 |
| Сомики & Меченосцы | 200 |
| Меченосцы & Гуппи | 60 |
| Сомики & Меченосцы & Гуппи | ? |
Нарисуем круги Эйлера:
С – Сомики, М – Меченосцы, Г – Гуппи
С = 250 = «1» + «2» + «3» + «4»
М = 200 = «3» + «4» + «5» + «6»
Г = 500 = «2» + «3» + «6» + «7»
С & М = 200 = «3» + «4»
М & Г = 60 = «3» + «6»
Заметим, что выражение М = 200 = «3» + «4» + «5» + «6» равняется выражению С & М = 200 = «3» + «4»
Следовательно «5» + «6» = 0, а так как количество страниц не может быть отрицательным, то «5» = «6» = 0.
Тогда C & М & Г = «3» = 60