Теми рефератів
> Реферати > Курсові роботи > Звіти з практики > Курсові проекти > Питання та відповіді > Ессе > Доклади > Учбові матеріали > Контрольні роботи > Методички > Лекції > Твори > Підручники > Статті Контакти
Реферати, твори, дипломи, практика » Курсовые обзорные » Рішення задач з логіки та обчисленню висловлювань

Реферат Рішення задач з логіки та обчисленню висловлювань





> y ( Г? A (y) VC (z))) V $ z ( Г? B (x) VC (z)) =

= $ x (B (x) & Г? A (y)) V (B (x) & $ y (A (y) & Г? C (z))) V $ z ( Г? B (x) VC (z )) =

= $ v (B (v) & Г? A (y)) V (B (x) & $ w (A (w) & Г? C (z))) V $ t ( Г? B (x) VC (t )) =

= $ v $ w $ t ((B (v) & Г? A (y)) VB (x) & (A (w) & Г? C (z)) V ( Г? B (x) VC (t)) ;


б. Привести вираз до виду ССФ:

Для приведення до виду ССФ скористаємося алгоритмом Сколема, тому будуть проведені наступні заміни:

v = a, де a - предметна постійна;

w = b, де b - предметна постійна;

t = d, де d - предметна постійна;

В результаті вийде такий вираз:


F = (B (a) & Г? A (y)) VB (x) & ( A (b) & Г? C (z)) V ( Г? B (x) VC (d));


в. Довести істинність висновку методом дедуктивного виводу (з побудовою графа дедуктивного виводу):

Уявімо нашу формулу в наступному вигляді:


{ " x (B (x) В® A (y)); B (x) В® " y (A (y) В®


Назад | сторінка 17 з 27 | Наступна сторінка





Схожі реферати:

  • Реферат на тему: Розробка програми обробки масиву даних з побудовою діаграми (предметна обла ...
  • Реферат на тему: Стенокардія, постійна форма фибриляция передсердь, шлуночкова екстрасистолі ...
  • Реферат на тему: Предметна область досліджень культурної антропології
  • Реферат на тему: Розподілена база даних. Предметна область: музичні диски
  • Реферат на тему: Формування виводу і висновку спеціаліста та експерта з ДНК-аналізу