Еще немного ДМ

[fortis]

С помощью совершенных нормальных форм установить, равносильны ли формулы a и b
a=(A->B) или (C->D)
b=(D->B) или (A->C)

В общем после упрощения скобок получается
a=(не А или В) или (не С или D)
b=(не D или В) или (не A или C)

Отсюда (как мне кажется) понятно что формулы исполняются одинаково при любом условии - но может я и не прав - значит они равносильны
Но вот вопрос - как это доказать согласно условию?

Большое спасибо за ответы.

[Brukvalub]

fortis писал(а):

С помощью совершенных нормальных форм установить, равносильны ли формулы a и b

А разве нельзя воспользоваться теоремой единственности? (см. http://www.eltech.ru/misc/LGA_2007_FINAL/Allpage/Section8/Part8232.html
)

[fortis]

Ну раз вы говорите - то наверное можно.
Но задание дано именно такое.

[нг]

[mod] fortis
На форуме принято записывать формулы, используя нотацию ($\TeX$; введение, справка).

Пожалуйста, исправьте и сообщите модератору (ЛС).[/mod]

и \wedge
или \vee

А посмотреть, как другие записали формулу, проще всего нажав на кнопку «Цитата».