WikiSort.ru - Не сортированное

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 21 февраля 2017 года.

Значимость предмета статьи поставлена под сомнение. Пожалуйста, покажите в статье значимость её предмета, добавив в неё доказательства значимости по частным критериям значимости или, в случае если частные критерии значимости для предмета статьи отсутствуют, по общему критерию значимости. Подробности могут быть на странице обсуждения. Дата постановки шаблона: 15 мая 2016

Задача Венна — задача, предложенная в 1881 году английским логиком и философом Джоном Венном в труде «Символьная логика» (англ. Symbolic Logic).

Текст задачи

Задача повествует о неком клубе, правила вступления в который нам предлагают сократить.

В уставе клуба записано:

• финансовый комитет избирается из состава членов общего комитета;
• никто не может быть одновременно членом и общего, и библиотечного комитета, если только он не состоит также и членом финансового комитета;
• никто из членов библиотечного комитета не может быть в финансовом комитете.

Решение

Упростим правила устава до 2-х правил. По правилам булевой логики известно, что x->y = not(x)||y (Если Х, то У равносильно неХ или У) Записав устав Клуба в виде логических утверждений, преобразуем их к новому, сокращённому виду.

Интерпретация выражения эквивалентна следующему:

• члены финансового комитета избираются из членов общего;
• члены общего комитета не могут быть членами библиотечного.