Консультация № 188565
28.12.2015, 17:43
0.00 руб.
0 0 0
Алгоритм редукции и Метод резолюции для логики предикатов. Уважаемые эксперты! Пожалуйста, помогите решить задание по теме Алгоритм редукции: H = { p ˅ r ˅ t, q, t ˅ p ˅ r, t ˅ q }, S = p & q & r. И задание по теме Метод резолюции для логики предикатов:
h1= ∀ x(M (x) → W (x));
h2 = ∀ x(M (x) → W (x));
S = ∀ x(M (x) → M (x)).

Очень срочно нужно.
Заранее спасибо!

Обсуждение

Форма ответа