Заказ: 1060942

Ниже приведена клауза B → D, B → A,A V B, A → (B V C) → D V C Необходимо выяснить при помощи алгоритма Вонга и метода резолюции является ли клауза теоремой.

Ниже приведена клауза B → D, B → A,A V B, A → (B V C) → D V C Необходимо выяснить при помощи алгоритма Вонга и метода резолюции является ли клауза теоремой.
Описание

Подробное решение в WORD - 3 страницы





Ниже приведена клауза B → D, B → A,A V B, A → (B V C) → D V C Необходимо выяснить при помощи алгоритма Вонга и метода резолюции является ли клауза теоремой. (Решение → 46974)

Ниже приведена клауза B → D, B → A,A V B, A → (B V C) → D V C Необходимо выяснить при помощи алгоритма Вонга и метода резолюции является ли клауза теоремой. (Решение → 46974)

Предварительный просмотр

Ниже приведена клауза B → D, B → A,A V B, A → (B V C) → D V C Необходимо выяснить при помощи алгоритма Вонга и метода резолюции является ли клауза теоремой.