С2. МОИ. Презентации / Булевы функции 3 (v. 1.2)
.pdf
Разложение функции по переменным
Следствие 2. Разложение булевой функции по
всем переменной:
m n : f x1, x2 ,..., xn
x1 1 ... xn n f ( 1,..., n)
( 1 ,..., n)
|
|
x |
|
|
|
|
n |
|
1 |
... x |
|
|
|||||
|
( 1,..., n) |
1 |
|
n |
|
|
||
|
|
|
|
|
|
|
|
|
f ( 1 |
,..., n) 1 |
|
21 |
Разложение функции по переменным
Следствие 2. Разложение булевой функции по
СДНФ –
всем переменной: |
|
|
|
совершненная |
|||
|
|
|
|
|
|
||
m n : |
f x1, x2 ,..., xn |
|
|||||
|
|
|
|
|
|
дизъюнктивная |
|
|
|
1 |
|
n |
|||
|
x |
|
нормальная форма |
||||
|
|
|
... xn |
f ( 1,..., n) |
|||
|
( 1 ,..., n) |
1 |
|
|
|
|
|
|
|
x |
|
|
|
|
n |
|
1 |
... x |
|
|
|||||
|
( 1,..., n) |
1 |
|
n |
|
|
||
|
|
|
|
|
|
|
|
|
f ( 1 |
,..., n) 1 |
|
22 |
Дизъюнктивные нормальные формы
x1 |
x2 |
x3 |
f |
0 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
1 |
1 |
|
|
|
|
0 |
1 |
0 |
0 |
|
|
|
|
0 |
1 |
1 |
1 |
|
|
|
|
1 |
0 |
0 |
1 |
|
|
|
|
1 |
0 |
1 |
1 |
|
|
|
|
1 |
1 |
0 |
0 |
|
|
|
|
1 |
1 |
1 |
1 |
|
|
|
|
Пример. СДНФ
f (x1, x2 , x3)
x1x2 x3 x1x2 x3 x1x2 x3x1x2 x3 x1x2 x3
23
Дизъюнктивные нормальные формы
x1 |
x2 |
x3 |
f |
0 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
1 |
1 |
|
|
|
|
0 |
1 |
0 |
0 |
|
|
|
|
0 |
1 |
1 |
1 |
|
|
|
|
1 |
0 |
0 |
1 |
|
|
|
|
1 |
0 |
1 |
1 |
|
|
|
|
1 |
1 |
0 |
0 |
|
|
|
|
1 |
1 |
1 |
1 |
|
|
|
|
Пример. СДНФ
f (x1, x2 , x3)
x1x2 x3 x1x2 x3 x1x2 x3x1x2 x3 x1x2 x3
24
Дизъюнктивные нормальные формы
x1 |
x2 |
x3 |
f |
0 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
1 |
1 |
|
|
|
|
0 |
1 |
0 |
0 |
|
|
|
|
0 |
1 |
1 |
1 |
|
|
|
|
1 |
0 |
0 |
1 |
|
|
|
|
1 |
0 |
1 |
1 |
|
|
|
|
1 |
1 |
0 |
0 |
|
|
|
|
1 |
1 |
1 |
1 |
|
|
|
|
Пример. СДНФ |
f (x1, x2 , x3) |
x1x2 x3 x1x2 x3 x1x2 x3 |
x1x2 x3 x1x2 x3 |
25
Дизъюнктивные нормальные формы
x1 |
x2 |
x3 |
f |
0 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
1 |
1 |
|
|
|
|
0 |
1 |
0 |
0 |
|
|
|
|
0 |
1 |
1 |
1 |
|
|
|
|
1 |
0 |
0 |
1 |
|
|
|
|
1 |
0 |
1 |
1 |
|
|
|
|
1 |
1 |
0 |
0 |
|
|
|
|
1 |
1 |
1 |
1 |
|
|
|
|
Пример. СДНФ
f (x1, x2 , x3)
x1x2 x3 x1x2 x3 x1x2 x3
x1x2 x3 x1x2 x3
26
Дизъюнктивные нормальные формы
x1 |
x2 |
x3 |
f |
0 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
1 |
1 |
|
|
|
|
0 |
1 |
0 |
0 |
|
|
|
|
0 |
1 |
1 |
1 |
|
|
|
|
1 |
0 |
0 |
|
|
|
|
|
1 |
0 |
1 |
|
|
|
|
|
1 |
1 |
0 |
0 |
|
|
|
|
1 |
1 |
1 |
1 |
|
|
|
|
Пример. |
СДНФ |
f (x1, x2 , x3) |
|
x1x2 x3 x1x2 x3 x1x2 x3 |
|
x |
2 x3 |
27
Дизъюнктивные нормальные формы
x1 |
x2 |
x3 |
f |
0 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
1 |
1 |
|
|
|
|
0 |
1 |
0 |
0 |
|
|
|
|
0 |
1 |
1 |
1 |
|
|
|
|
1 |
0 |
0 |
1 |
|
|
|
|
1 |
0 |
|
|
|
|
|
|
1 |
1 |
0 |
0 |
|
|
|
|
1 |
1 |
1 |
1 |
|
|
|
|
Пример. СДНФ
f (x1, x2 , x3)
x1x2 x3 x1x2 x3 x1x2 x3
x1x2 x
28
Дизъюнктивные нормальные формы
x1 |
x2 |
x3 |
f |
0 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
1 |
1 |
|
|
|
|
0 |
1 |
|
|
|
|
|
|
0 |
|
|
1 |
|
|
|
|
1 |
|
|
1 |
|
|
|
|
1 |
0 |
1 |
1 |
|
|
|
|
1 |
1 |
0 |
0 |
|
|
|
|
1 |
1 |
1 |
1 |
|
|
|
|
Пример. СДНФ
f (x1, x2 , x3)
x1x2 x3 x1x2 x3 x1x2 x3x1x2 x3 x1x2 x3
29
Дизъюнктивные нормальные формы
x1 |
x2 |
x3 |
f |
0 |
0 |
0 |
0 |
|
|
|
|
0 |
0 |
1 |
1 |
|
|
|
|
0 |
1 |
0 |
0 |
|
|
|
|
0 |
1 |
1 |
1 |
|
|
|
|
1 |
0 |
0 |
1 |
|
|
|
|
1 |
0 |
1 |
1 |
|
|
|
|
1 |
1 |
0 |
|
|
|
|
|
1 |
1 |
1 |
|
|
|
|
|
Пример. СДНФ
f (x1, x2 , x3)
x1x2 x3 x1x2 x3 x1x2 x3x1x2 x3 x1x2 x3
30