2. Выбор варианта для моделирования объектов реального мира.

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

Вариант 9.

Предметная область – поликлиника. Объект – пациент.

Данные об объекте:

– ФИО;

– возраст;

– пол;

– адрес;

– диагноз;

– наличие оперативного вмешательства (дата проведения операции, ход операции).

Функции:

1. Вывести сначала ФИО всех мужчин, упорядоченных по алфавиту по возрастанию, а затем ФИО всех женщин, упорядоченных по убыванию.

2. Вывести адреса 4 самых старых мужчин.

3. Вывести ФИО всех одесситов в указанном возрастном диапазоне.

4. Вывести диагнозы всех пациентов с указанной фамилией.

5. Определить, кому за последние 3 года было проведено больше успешных операций – детям (до 14 лет), подросткам (до 18 лет), лицам пенсионного возраста или остальной категории граждан.

2. Упрощение выражения в алгебре множеств

При выполнении первого этапа РГР была получена следующая шаблонная формула:

(Ø (AF U (Ø (B U A)))) \ (¬Ø ((EBØE) \ (¬ØA\B)))

Эта шаблонная формула преобразовывается к следующему выражению алгебры множеств:

Применим к выражению EBE свойство ассоциативности симметрической разности ЕBE=E(BE):

Применим к выражению E(BE)свойство коммутативности симметрической разности BE=EB:

Применим к выражению Е(ЕВ) свойство ассоциативности симметрической разности E(EB)=(EE)B:

Применим к выражению (EЕ)Всвойство симметрической разности EE=Ø:

Применим к выражению ØB свойство определения симметрической разности ØB=B:

Применим к выражению (В \ (А \ В) закон Де Моргана =

Применим к выражению закон Де Моргана: = U

Применим к выражению свойство идемпотентности объединения =:

Применим к выражению закон разности множеств :

(AF U (BUA)) \ (UU)

Применим к выражению свойство ассоциативности пересечения:

(AF U (BUA)) \ (U (U))

Применим к выражению В U (A U B) свойство коммутативности пересечения AUB=BUA:

(AF U (BUA)) \ (U(U))

Применим к выражению (U (U)) свойство ассоциативности пересечения U (U)=(U) U:

(AF U (BUA)) \ (U) U

Применим к выражению свойство идемпотентности объединения =:

(AF U (B U A)) \ (U)

Применим к выражению АFпризнак определения симметрической разности :

(∩F) U (F∩) U (B U A) \ (U)

Применим к выражению одно из свойств дополнения и разности= :

Применим к выражению закон Де Моргана =∩:

(∩F) U (F∩) U (B∩A) ∩ (∩)

Применим к элементусвойство инволютивности=А:

Применим к выражению свойство ассоциативности и уберем скобки:

Применим к выражению A∩ свойство коммутативности A∩=∩A:

(∩F) U (F∩) U(B∩(∩A)∩A)

Применим к выражению (B∩(∩A)∩A)свойство ассоциативности:

(∩F) U (F∩) U(B∩)∩(A∩A)

Применим к выражению (A∩A) свойство идемпотентности пересечения A∩A=A:

(∩F) U (F∩) U(B∩)∩A

Применим к выражению (B∩)закон дополнения B∩=Ø:

(∩F) U (F∩) U(Ø ∩A)

Применим к выражению (Ø∩A) свойство нуля пересечения Ø∩A=Ø:

((∩F) U (F∩)) U Ø

Применим к формуле свойство нуля объединения:

((∩F) U (F∩)) U Ø = ((∩F) U (F∩))

Свернем выражение ((∩F) U (F∩))в симметрическую разность АF

Получаем конечное выражение:

АF