Задачи для самостоятельного решения

Задания приведены только для параграфов 6.1 и 6.7, так как остальные параграфы только демонстрационные и их материал находится в стадии осмысления. Например, нечеткая и темпоральная логики хотя и давно известны, но доступной в широкой практике теории не имеют. Как отмечалось выше, каждое их применение — посуществу, изобретение.

• 6.1. Выполните преобразования следующих форму.'! логики в вероятностную форму, составьте для тестирования программу на C++. Постройте соответствующую схему в базисе И-НЕ:
  • а) г =-iX) & (х₂ v-ar₃) v х, & х₄;
  • б) 2 = (.V, V —tT₂ & ^хз) & («>*2^{v х}лУ>
  • в) 2 = -1у_х VIУ2 & (у, & Х_х Vvt*₂);
  • г) 2 = (х, vix₃ & х₄) & (-ix, v х₂);
  • д) 2 = —>у_х & х₂ v у2 & (—iXj viX₂);
  • е) 2 = (-ay v х₂) & (Xj & х₃ vа₄);
  • ж) 2 = (x_t & у_х v —iX₂ & у₂) & (—х₂ v у_х);
  • з) 2 = (-vV, vy,)& (x₂&y₂v-, y_t);
  • и) 2 = г/, & (-.г/₂ V —>г/₃) V —.г/, & у₄;
  • к) 2 = (г/, v -.г/₂ & уд) & (-.у₂ v у₄);
  • л) z = -, у, & у2 v lVj & х₂ & (у, vлу₂);
  • м) 2 = Xj & г/j V —0С₂ & (—'2/2 ^v);
  • н) г = (г/j & —а_х v у2 & х₂) & (-^ v х₂);
  • о) 2 = (г/_а v —lTj) & (у₂ & х₂ v Xj);
  • п) 2 = (Xj VСГ₂ V -1Г3 & х₄) & (—V —ir₄).
• 6.2. Проведите расчет надежности.

А. Мостовая схема.

Б. Сеть В. Модель алгоритмов, представленная марковской цепыо.

• 6.3. Запишите утверждения с силлогизмами.
• 1. Все котята игривые.

Некоторгяе домашние животные — котята. Некоторые домашние животные — игривые.

2. Ни одна здоровая еда не полнит.

Все торты полнят.

Ни один торт не здоровая еда.

3. Все лошади имеют вздутие живота.

Ни один человек не имеет вздутия живота.

Ни один человек не лошадь.

• 4. Ни один ленивый человек не сдает экзамены. Некоторые студенты сдают экзамены. Некоторые студенты не ленивы.
• 5. Все информативные вещи полезны. Некоторые сайты не полезны.

Некоторые сайты не информативны.

6. Все фрукты питательны.

Все фрукты вкусны.

Некоторые вкусные продукты питательны.

7. Некоторгяе кружки красивгяе.

Все кружки полезны.

Некоторые полезные вещи красивые.

8. Ни один кувшин в этом шкафу не новый.

Все кувшины в этом шкафу треснутые.

Некоторые треснутые вещи в этом шкафу не новые.

9. Ни одно дерево не съедобно.

Некоторые деревья зеленые.

Некоторые зеленые вещи несъедобны.

10. Все яблоки в моем саду полезны.

Все полезные фрукты зрелы.

Некоторые зрелые фрукты — яблоки в моем саду.

11. Все яркие цветы ароматны.

Ни один ароматный цветок не выращен в помещении. Ни один выращенный в помещении цветок не яркий.

12. Ни один человек не совершенен.

Все совершенные существа мифические.

Некоторые мифические существа не люди.

13. Ни один компетентный человек не ошибается. Некоторые ошибающиеся люди работают здесь. Некоторые работающие здесь люди некомпетентны.