За допомогою засобів попереднього прикладу довести клаузу

В - Політики, які не здатні керувати країною.

З - Наростання анархії в суспільстві.

D-Висловлення абсурдних ідей.

Е - Поява безвідповідальних політиків.

С). Наростання анархії в суспільстві рівносильно появі на політичній арені безвідповідальних політиків (С

«Якщо людина займається спортом (А), то він хоче бути здоровим (В). Гарне здоров'я (В) веде до щасливого життя (Е). Крім того, якщо людина займається спортом (А), то він, як правило, прагне досягти високих спортивних результатів (С). Наявність високих результатів (С) дозволяє здобувати перемоги на змаганнях (D). Перемоги на змаганнях (D) тягнуть за собою загальне визнання (F). Однак, людина не хоче жити щасливо і мати загальне визнання - (Е лF). Значить, він не стане займатися і спортом (-А) ».

«Якщо знати мову програмування (J), то можна скласти робочу програму (Н). Робочу програму можна також отримати (Н) за умови наявності знайомого програміста (К). Опанувати мову програмування (J) можна, навчаючись в інституті (I). Якщо програма працює (Н), то її написав випускник такого інституту (I). Але програма не працює (Н). Це говорить про те, що бажає отримати правильний результат не знає мови програмування (-J) і не має знайомих програмістів (-К)

«Все живе здатне відчувати (А -> В). Будь-яке матеріальне тіло займає певний обсяг (С -> D). Якщо щось займає просторовий обсяг і здатне відчувати, то це щось є ні що інше, як живий організм_ (В D-> Е). Нехай існує щось живе (А), але не є організмом (Е). Тог-да випливає висновок, що це щось нематеріальне (-С) ».

Вище наведені легенди. Запишемо клауз, що відповідають тексту або кон-тексту цих легенд, для чого сформулюємо необхідні посилки і два причинами вія: одне істинне, інше помилкове. За допомогою таблиці істинності знайдемо МНФ, мінімальне і все трансверсального покриття (останнє завдання ви-полнено тільки для варіанту 21).

21. Якщо в одному місці щось убуде, то в іншому місці щось прибуде - це істина, яка не потребує доведення. Але є така теорія, яка стверджує: десь в далекому космосі існують «чорні діри», куди всі провалюється, але звідти нічого не з'являється. Ця теорія нічого не говорить про існування «білих дір», які діяли б протилежно «чорним». Один іно-дивний астрономічний журнал повідомив координати «чорної діри». Рос-сийской астроном Іванов направив туди свій потужний телескоп і нічого не об-назовні, "Так-так, - сказав Іванов, - але« білу діру »я все ж відкрию".

Для варіанту 21 можна запропонувати наступну клаузу:

А -Де-то что-то вибуло

У -Де-то что-то прибуло

З - "Чорна діра" існує

D - "Біла діра" існує

Е -Неможливість нічого побачити

Вихідну легенду допустимо трансформувати в близьку за змістом і з-ставити таблицю істинності (табл. 1.23):

«Якщо в одному місці щось убуде, то в іншому щось неодмінно прибуде, і навпаки (А

В). Якщо існує "чорна діра", то в неї все провалюється, тобто в її околицях щось убуває (С -> А). Якщо існує "біла діра", то з неї в навколишній простір має прибувати речовина (D-> В). Якщо існує "чорна діра", то її неможливо побачити, оскільки вона не випромінює світло (С -> Е). Астроном нічого не побачив (Е). Отже, "біла діра" існує (D). »Це - помилковий умовивід. Справжнім же висновком є, на-приклад, наступне: «Якщо існує" чорна діра ", то десь в просторі всесвіту має неодмінно з'являтися речовина (С -> В)».

З табл. 1.23 видно, що три одиниці узагальненої посилки (Р) не покривають-ся одиницями помилкового слідства (D); одиниці же істинного слідства (С -> В) цілком накривають одиниці узагальненої посилки. За табл. 1.23 складемо СДНФ:

А, В, С, D, Е; А, В, С, D, Е; А, В, С, D, Е;

А, В, С, D, Е; А, В, С, D, Е.

Після перетворень отримаємо наступну МДФ:

А, В, D, Е; А, В, С, D, E. Трансверсального покриття:

А; В, С, D, Е А, В; С, D, Е А, В, Е; С, D.

Мінімальне покриття: Е.