Преобразование функции в СКНФ

[NSvirus]

что-то вот парюсь над такой вот функцией, не могу понять некоторые моменты..
например:

куда деваются функи 1), 2) - в следующем преобразовании их нет.
в 3) можно предположить что убирается из-за такого что есть подобная: x1+x2... но так ли это? а как получилось 4)-е преобразование вообще не могу понять...(


сори, если тему создал не в том разделе..

[ROD]

Легко.

A+AB=A (проверяется так, А выносится за скобки A(1+B) Содержимое скобок тождественно равно единице, следовательно выражение равно A).

В первом случае так сделали с Х1 и первым "слагаемым", во втором с Х2 и и вторым "слагаемым".

В третьем случае - у вас две одинаковых скобки (X1+X2) и (X2 +X1), A*A=A (это ведь очевидно, правда?), так что все верно.

В четвертом случае я не понял, каким образом возник имеющийся результат. A*!A=0, так что там должно получится (X1+X2)(X1+X3)(X2+X3) (если я не ошибаюсь, это и есть СКНФ, если я конъюнкцию и дизъюнкцию не путаю)

[Базиля]

Извините что воспрос не в тему, но можете пожалуйста объяснить правило Де Моргана

[ROD]

Вообще элементарно. Отрицание над выражением убирается, ставится отрицание на каждым членом выражения, при этом конъюнкция заменяется на дизъюнкцию и наоборот.

!(A+B+C)=!A*!B*!C
!(ABC)=!A+!B+!C


Пример:
!((A+B)(C+D))=!(A+B)+!(C+D)=!A*!B+! C*!D