1.3.2. Логические операции (окончание)

Пример 1. Пусть А — «На web-странице встречается слово "крейсер"», В = «На web-странице встречается слово "линкор"». Рассматривается некоторый сегмент сети Интернет, содержащий 5 000 000 web-страниц. В нём высказывание А истинно для 4800 страниц, высказывание В — для 4500 страниц, а высказывание A ∨ В — для 7000 страниц. Для какого количества web-страниц в этом случае будут истинны следующие выражения и высказывание?

а) НЕ (А ИЛИ В);
б )А&В;
в) На web-странице встречается слово "крейсер" И не встречается слово "линкор".

Решение. Изобразим множество всех web-страниц рассматриваемого сектора сети Интернет кругом, внутри которого разместим два круга: одному из них соответствует множество web-страниц, где истинно высказывание А, второму — где истинно высказывание В (рис. 1.3).

Изобразим графически множества web-страниц, для которых истинны выражения и высказывание а) - в) (рис. 1.4).

Построенные схемы помогут нам ответить на вопросы, содержащиеся в задании.

Выражение А ИЛИ В истинно для 7000 web-страниц, а всего страниц 5 000 000. Следовательно, выражение А ИЛИ В ложно для 4 993 000 web-страниц. Иначе говоря, для 4 993 000 web-страниц истинно выражение НЕ (А ИЛИ В).

Выражение A ∨ В истинно для тех web-страниц, где истинно А (4800), а также тех web-страниц, где истинно В (4500). Если бы все web-страницы были различны, то выражение A ∨ В было бы истинно для 9300 (4800 + 4500) web-страниц. Но, согласно условию, таких web-страниц всего 7000. Это значит, что на 2300 (9300 - 7000) web-страницах встречаются оба слова одновременно. Следовательно, выражение А & В истинно для 2300 web-страниц.

Чтобы выяснить, для скольких web-страниц истинно высказывание А и одновременно ложно высказывание В, следует из 4800 вычесть 2300. Таким образом, высказывание «На web-странице встречается слово "крейсер” И не встречается слово "линкор"» истинно на 2500 web-страницах.

Самостоятельно запишите логическое выражение, соответствующее рассмотренному выше высказыванию.

На сайте Федерального центра информационно-образовательных ресурсов (http://fcoir.edu.ru/) размещён информационный модуль «Высказывание. Простые и сложные высказывания. Основные логические операции». Знакомство с этим ресурсом позволит вам расширить представления по изучаемой теме.

<<< К началу