Консультация № 159213
30.01.2009, 18:18
0.00 руб.
0 0 0
Здравствуйте эксперты. Помогите пожайлуста решить пример с помощью таблицы истинности и методом резолюции. Примного благодарен...(Это относится к математической логике)

Приложение:
Пример: C->(D->E),E->F=>((A->B)->C->(D->(-A->F))

где -> следствие
-A отрицание A(ни A)
=>разделитель(тоесть решаем отдельно левую и правую части)

Обсуждение

Форма ответа