22
правки
Изменения
м
→Преобразование дизъюнктивной нормальной формы: Ошибочка вышла
Снова воспользуемся свойствами конъюнкции и исключающего ИЛИ:
<tex>f(x_1,x_2,x_3,x_4) = x_1 x_2 \neg x_3 x_4 \oplus \neg x_1 \neg x_4 \oplus x_2 \oplus \neg x_1 x_2 \neg x_4 </tex>
Заменим отрицание на прибавление <tex>1</tex>:
<tex>f(x_1,x_2,x_3,x_4) = x_1 x_2 (x_3 \oplus 1) x_4 \oplus (x_1 \oplus 1) (x_4 \oplus 1) \oplus x_2 \oplus (x_1 \oplus 1) x_2 (x_4 \oplus 1)</tex>
Раскроем скобки:
<tex>f(x_1,x_2,x_3,x_4) = x_1 x_2 x_3 x_4 \oplus x_1 x_2 x_4 \oplus x_1 x_4 \oplus x_1 \oplus x_4 \oplus 1 \oplus x_2 \oplus x_1 x_2 x_4 \oplus x_1 x_2 \oplus x_2 x_4 \oplus x_2</tex>
Выкинем парные слагаемые и получим окончательную формулу:
<tex>f(x_1,x_2,x_3,x_4) = x_1 x_2 x_3 x_4 \oplus x_1 x_2 \oplus x_1 x_4 \oplus x_2 x_4 \oplus x_1 \oplus x_4 \oplus 1</tex>
=== Преобразование Мёбиуса ===
