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

ify"> Гљ B; 8 = D Г  (A Гљ C) = Г? D Гљ A Гљ C;

Г? J = Г? F < span align = "justify"> 2 = Г? B; = { D, Г? A Гљ B, Г? C Гљ B, Г? D Гљ A Гљ C, Г? B}

Побудуємо граф виведення порожній резольвенти:

Г? B Г? A Гљ B Г? C Гљ B Г? D Гљ A Гљ C D

A Гљ З

A Гљ B

B

Малюнок А.4 - Граф виведення порожній резольвенти

2 Виконати завдання з алгебри предикатів і обчисленню предикатів:

істинність предикат доказ резолюція

Варіант 22: F = " x (B (x)) В® $ y (A (y) В® B (x))

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

F = " x (B (x)) В®