ä) U = (x y·z) → ((x → y) → ((y z) → x)), B = (x → y) → (y → x); å) U = (x · y x · z) ((y → z) → x · y), B = (x · (y · z) y) z;
æ) U = x → (x · y → (x · z → y)) → y) · z, B = x · (y → z); ç) U = (x ≡ y) → (x → z) (x y · z), B = x ≡ (z → y);
è) U = (x y · z) · (x → y · z) · (x → (y ≡ z)), B = ((x → y) ≡ (y → (x → z))) x · (y · z);
ê) U = ((x y) → y · z) (y → x · z) (x → (y → z)), B = (x → y) z.
32
Домашнее задание 13
1) Разложить функцию f по указанным переменным а) f(xe3) = ((x1 x2) (x2 x3)) по переменной x2;
á) f(xe3) = ((x1 x2) (x1 (x2 x3))) по переменной x1;
â) f(xe3) = (¬(x1 ¬(x2 x1)) (x1 x3)) по переменным x1 è x3; ã) f(xe2) = ((x1 (x2 x1)) ¬x1) по переменной x1;
ä) f(xe3) = (((x1 ¬x2) x2) (x3 x1)) по переменной x2;
å) f(xe3) = ((x1 (x2 x3)) ((x1 x2) (x1 x3))) по переменной
x3;
æ) f(xe3) = ((x1 (x2 ¬x1)) ((¬x2 x1) ¬x3)) по переменным x2 è x3.
2) С помощью эквивалентных преобразований построить ДНФ и КНФ
функций:
à) f(xe3) = (x1 x2) (¬x2 x3);
á) f(xe2) = ¬(¬(x1 ¬x2) (x2 ¬x1));
â) f(xe3) = (¬x1 ¬x2) ≡ (x2 ≡ x3);
ã) f(xe3) = ((x1 x2) (x3 ¬x1)) (¬x2 ¬x3):
3)Представить в СДНФ следующие функции: а) f(xe3) = (x1 x2) x3;
á) f(xe3) = (x1 x2) (x1 | x2 · x3); â) f(xe3) = (01010001);
ã) f(xe3) = (01111000); ä) f(xe3) = (10001111);
å) f(xe4) = (x1 x2 · x3 · x4)(x3 x1 · x2); æ) f(xe4) = (x1 x2)(x3 x2 · x4);
ç) f(xe4) = (0100100011000010); è) f(xe4) = (1000011100110001); ê) f(xe4) = (1100100010010011).
4)Представить в СКНФ следующие функции: а) f(xe2) = x1 x2;
á) f(xe2) = x1 ↓ x2;
â) f(xe3) = x1 · x2 x1 · x3 x2 · x3;
34
ã) f(x3) = x1 · x2 x3; ä) f(x3) = (01011101);
|
å) |
x3 |
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(e ) = (00101110) |
x3) |
|
x4 |
|
|
x1 |
|
x2 |
|
x3; |
|
|
|
|
|||||||||||
|
æ) f(ex4) = (x1 |
|
x2 |
|
· |
|
· |
· |
|
|
|
|
|||||||||||||||
|
ç) |
x4 |
x |
1 ( |
x |
2 |
|
x |
3 · |
x |
4) |
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
f(e ) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
è) f(xe4) = (0101000001110011); |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5) |
ê) |
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(e ) = (0110111011100101) |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
Указать СДНФ и СКНФ, выражающие следующие функции: |
|
|||||||||||||||||||||||||
|
à) f(x1; x2; x3), равную 0 тогда и только тогда, когда большинство |
||||||||||||||||||||||||||
переменных равно 1; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
á) |
f(x1; x2; x3; x4), |
|
равную |
|
1 |
|
тогда |
è |
только |
тогда, |
когда |
|||||||||||||||
x1 + x2 + x3 + x4 ≥ 4; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
â) |
f(x1; x2; x3; x4), |
|
равную |
|
1 |
|
тогда |
è |
только |
тогда, |
когда |
|||||||||||||||
x1 + x2 + x3 + x4 ≥ 3; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
ã) |
f(x1; x2; x3; x4), |
|
равную |
|
1 |
|
тогда |
è |
только |
тогда, |
когда |
|||||||||||||||
x1 + x2 + x3 + x4 = 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
35
Домашнее задание 14
1) Методом неопределенных коэффициентов найти полиномы Жегалкина для следующей функции:
à) f(xe2) = x1 | x2; á) f(xe2) = (0100);
â) f(xe3) = x1(x2 x3);
ã) f(xe3) = x1 (x2 x3); ä) f(xe3) = (01101001);
å) f(xe3) = (10001110); æ) f(xe3) = (00000111); ç) f(xe3) = (01100110);
è) f(xe4) = (1000000000000001); ê) f(xe4) = (0000100010010000).
2) Представив функцию f(xen) формулой над множеством связок { ; ¬},
преобразовать затем полученную формулу в полином Жегалкина для этой функции:
|
à) f(x2) = x1 (x2 |
|
|
1 · x2); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
á) f(x2) = x2(x2 ≡ x1 · |
|
|
2); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
â) |
|
x3 |
|
|
x |
|
|
|
|
x |
2) |
|
|
|
( |
x |
2 |
|
|
|
|
|
|
x |
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
f(e ) = ( |
|
|
1 |
↓ |
|
|
|
| |
|
|
|
|
|
↓ |
|
|
3) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
ã) |
|
|
|
x |
|
|
|
|
x |
2)( |
x |
2 |
|
|
|
|
|
|
x |
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
f(e ) = ( |
|
|
1 |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
3) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
ä) |
|
x3 |
|
x |
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
) = |
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
x |
2) |
|
|
|
|
x |
3) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
f(e |
|
|
↓ |
(( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
å) |
|
x3 |
|
|
x |
|
|
|
|
x |
2 |
x |
|
|
|
|
|
x |
1 |
|
|
|
x |
2) |
|
|
|
|
x |
|
; |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
f(e ) = ( |
|
|
1 |
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
3))(( |
|
|
|
|
|
|
|
|
|
|
|
|
3) |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
æ) f(ex3) = (x1 x2) |
|
|
(x2 |
|
|
↓ |
x3); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
ç) |
|
|
|
x |
|
|
|
|
|
x |
2) |
|
|
|
|
|
|
( |
x |
3 |
|
|
|
|
|
x |
1 |
|
|
x |
4) |
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
f(e ) = ( |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
è) f(xe4) = x1 |
|
(x2 |
|
|
((x3 |
|
|
|
x2)· |
|
x4)); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
3) |
ê) |
|
|
|
x x x x x x x . |
|
|
|
|
|
|
1 |
|
|
|
P (x ) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
e |
) = ( 1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
3) 4 |
|
|
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
f(e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
· |
|
· |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
полином n : |
||||||||||||||||
|
Выяснить, на скольких наборах обращается в |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
à) P (xn) = x1 x2 |
|
|
|
|
|
x1 |
|
|
|
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
x1 |
|
xn = |
|
n |
|
|
x1 |
xi, n |
≥ |
2; |
|||||||||||||||||||||||||||||||||
|
á) P (xn) = x1 · x2 x3 |
|
· |
|
|
|
|
|
|
|
|
|
· ·x·n = x·1 x2 |
|
|
i |
n |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
=2 |
|
xi·, n 3;e |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
· · · · |
|
|
|
|
|
|
|
|
|
|
· i=3 |
|
≥ |
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
â) |
|
xn |
x |
|
|
|
|
|
x |
|
|
|
|
|
|
|
x |
|
|
|
|
|
x |
|
|
|
|
|
|
x |
|
|
|
· · · |
x |
n = |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
= x1 |
P (e ) = |
|
|
|
1 |
|
|
|
|
|
2 |
|
|
|
n |
|
|
1 |
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
· |
x2e |
x1 |
· |
x3· |
|
|
|
|
|
|
|
|
|
|
x·i, n |
|
≥ |
|
4; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
ã) |
|
|
|
|
|
|
|
|
|
|
|
|
i=4 |
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
, |
x |
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
xn |
x |
1 |
|
|
|
x |
2 |
|
|
|
x |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
P (e ) = |
|
|
|
|
· |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i=4 |
|
|
|
|
i |
|
|
|
|
≥ |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
ä) P (xn) = x |
|
|
|
|
|
|
· |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
x x +1 |
|
|
|
|
|
|
x , 1 k < n; |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
e |
|
|
|
|
|
1 |
|
· · · k k · · · n |
|
|
|
|
≤ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
37
å) P (xn) = |
|
n x1 |
xi |
|
1, n 1; |
|
|
|||||||||||
|
|
|
i n |
|
|
|
|
|
|
|
|
|
|
|
|
|||
æ) P (xn) = i=1 x1······ xi−1 · xi+1≥· · · xn, n ≥ 2; |
||||||||||||||||||
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ç) |
xn |
x |
1 |
|
|
|
|
|
x |
i |
|
xj |
, |
n 2 |
; |
|
||
|
P (e ) = |
|
|
i<j |
|
n xi |
xj |
· |
|
|
|
|
||||||
è) P (xen) = |
|
|
|
|
|
|
|
xi, n 2. |
||||||||||
|
e |
|
|
1≤i<j≤n |
|
|
|
n |
|
≥ |
|
|
||||||
|
e |
|
|
|
|
|
|
|
|
≥ |
||||||||
|
|
1 |
≤ |
|
≤ |
· |
|
|
|
|
i=1 |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
38