Составление клаузы

[Di081]

Запишите с использованием 4 – 6 различных букв клаузу, отвечающую содержанию легенды, для чего сформулируйте необходимые посылки и два следствия: одно истинное, другое ложное. С помощью таблицы истинности найдите МНФ, минимальное и все трансверсальные покрытия.
В одной старой легенде рассказывается, что греческий драматург Софокл погиб при очень странных обстоятельствах. На его лысый череп орел сбросил камень, приняв его за яйцо. Если бы Софокл не сочинял трагедии, то он не уединялся бы в горах и остался бы жить до своей естественной кончины. Он мог бы сочинять свои трагедии в горах при наличии волос на голове или при отсутствии там этих странных птиц.

я попыталась записать клаузу..
А - сочиняет трагедии
B - уединяется в горах
C - есть волосы на голове
D - орлов нет
E - жив
$\overline{A \rightarrow B} \wedge (C \vee D)\rightarrow A \Rightarrow E$
не знаю правильно это или нет

[Gortaur]

Это по логике такое проходят? У нас она скучнее велась... и трагедии были другого рода.

[Di081]

да по логике)) а у нас вот так весело))) только мне что-то не очень смешно

[Di081]

Неужели этот вопрос поставил людей из форума в тупик.. сомневаюсь

-- Пт янв 28, 2011 20:06:18 --

Di081 в сообщении #405836 писал(а):

Запишите с использованием 4 – 6 различных букв клаузу, отвечающую содержанию легенды, для чего сформулируйте необходимые посылки и два следствия: одно истинное, другое ложное. С помощью таблицы истинности найдите МНФ, минимальное и все трансверсальные покрытия.
В одной старой легенде рассказывается, что греческий драматург Софокл погиб при очень странных обстоятельствах. На его лысый череп орел сбросил камень, приняв его за яйцо. Если бы Софокл не сочинял трагедии, то он не уединялся бы в горах и остался бы жить до своей естественной кончины. Он мог бы сочинять свои трагедии в горах при наличии волос на голове или при отсутствии там этих странных птиц.

я попыталась записать клаузу..
А - сочиняет трагедии
B - уединяется в горах
C - есть волосы на голове
D - орлов нет
E - жив
$\overline{A \rightarrow B} \wedge (C \vee D)\rightarrow A \Rightarrow E$
не знаю правильно это или нет

Тут скорее или будет
$\overline{A \rightarrow B} \vee (C \vee D)\rightarrow A \Rightarrow E$