Промежуточные таблицы истинности:¬Z:
Y∧(¬Z):
Y | Z | ¬Z | Y∧(¬Z) |
0 | 0 | 1 | 0 |
0 | 1 | 0 | 0 |
1 | 0 | 1 | 1 |
1 | 1 | 0 | 0 |
Z∧V:
(Z∧V)∧(Y∧(¬Z)):
Z | V | Y | Z∧V | ¬Z | Y∧(¬Z) | (Z∧V)∧(Y∧(¬Z)) |
0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 0 | 0 |
X∧V:
(X∧V)∧(Y∧(¬Z)):
X | V | Y | Z | X∧V | ¬Z | Y∧(¬Z) | (X∧V)∧(Y∧(¬Z)) |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 |
0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 |
0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |
1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 |
X∧Y:
¬Y:
(X∧Y)∧V:
X | Y | V | X∧Y | (X∧Y)∧V |
0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 |
0 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 0 |
1 | 1 | 1 | 1 | 1 |
((X∧Y)∧V)∧(¬Y):
X | Y | V | X∧Y | (X∧Y)∧V | ¬Y | ((X∧Y)∧V)∧(¬Y) |
0 | 0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 0 |
0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 0 | 1 | 0 |
1 | 1 | 0 | 1 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 0 |
((Z∧V)∧(Y∧(¬Z)))∧((X∧V)∧(Y∧(¬Z))):
Z | V | Y | X | Z∧V | ¬Z | Y∧(¬Z) | (Z∧V)∧(Y∧(¬Z)) | X∧V | ¬Z | Y∧(¬Z) | (X∧V)∧(Y∧(¬Z)) | ((Z∧V)∧(Y∧(¬Z)))∧((X∧V)∧(Y∧(¬Z))) |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
(((Z∧V)∧(Y∧(¬Z)))∧((X∧V)∧(Y∧(¬Z))))∧(((X∧Y)∧V)∧(¬Y)):
Z | V | Y | X | Z∧V | ¬Z | Y∧(¬Z) | (Z∧V)∧(Y∧(¬Z)) | X∧V | ¬Z | Y∧(¬Z) | (X∧V)∧(Y∧(¬Z)) | ((Z∧V)∧(Y∧(¬Z)))∧((X∧V)∧(Y∧(¬Z))) | X∧Y | (X∧Y)∧V | ¬Y | ((X∧Y)∧V)∧(¬Y) | (((Z∧V)∧(Y∧(¬Z)))∧((X∧V)∧(Y∧(¬Z))))∧(((X∧Y)∧V)∧(¬Y)) |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
Общая таблица истинности:
Z | V | Y | X | ¬Z | Y∧(¬Z) | Z∧V | (Z∧V)∧(Y∧(¬Z)) | X∧V | (X∧V)∧(Y∧(¬Z)) | X∧Y | ¬Y | (X∧Y)∧V | ((X∧Y)∧V)∧(¬Y) | ((Z∧V)∧(Y∧(¬Z)))∧((X∧V)∧(Y∧(¬Z))) | (Z∧V∧(Y∧¬Z))∧(X∧V∧(Y∧¬Z))∧((X∧Y)∧V∧¬Y) |
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
Логическая схема:
Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности:
Z | V | Y | X | F |
0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 |
0 | 1 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 0 |
1 | 0 | 1 | 1 | 0 |
1 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 |
1 | 1 | 1 | 0 | 0 |
1 | 1 | 1 | 1 | 0 |
В таблице истинности нет набора значений переменных при которых функция истинна!
Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности:
Z | V | Y | X | F |
0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 |
0 | 1 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 0 |
1 | 0 | 1 | 1 | 0 |
1 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 |
1 | 1 | 1 | 0 | 0 |
1 | 1 | 1 | 1 | 0 |
F
скнф = (Z∨V∨Y∨X) ∧ (Z∨V∨Y∨¬X) ∧ (Z∨V∨¬Y∨X) ∧ (Z∨V∨¬Y∨¬X) ∧ (Z∨¬V∨Y∨X) ∧ (Z∨¬V∨Y∨¬X) ∧ (Z∨¬V∨¬Y∨X) ∧ (Z∨¬V∨¬Y∨¬X) ∧ (¬Z∨V∨Y∨X) ∧ (¬Z∨V∨Y∨¬X) ∧ (¬Z∨V∨¬Y∨X) ∧ (¬Z∨V∨¬Y∨¬X) ∧ (¬Z∨¬V∨Y∨X) ∧ (¬Z∨¬V∨Y∨¬X) ∧ (¬Z∨¬V∨¬Y∨X) ∧ (¬Z∨¬V∨¬Y∨¬X)
Логическая cхема:
Построение полинома Жегалкина:
По таблице истинности функции
Z | V | Y | X | Fж |
0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 |
0 | 1 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 0 |
1 | 0 | 1 | 1 | 0 |
1 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 |
1 | 1 | 1 | 0 | 0 |
1 | 1 | 1 | 1 | 0 |
Построим полином Жегалкина:
F
ж = C
0000 ⊕ C
1000∧Z ⊕ C
0100∧V ⊕ C
0010∧Y ⊕ C
0001∧X ⊕ C
1100∧Z∧V ⊕ C
1010∧Z∧Y ⊕ C
1001∧Z∧X ⊕ C
0110∧V∧Y ⊕ C
0101∧V∧X ⊕ C
0011∧Y∧X ⊕ C
1110∧Z∧V∧Y ⊕ C
1101∧Z∧V∧X ⊕ C
1011∧Z∧Y∧X ⊕ C
0111∧V∧Y∧X ⊕ C
1111∧Z∧V∧Y∧X
Так как F
ж(0000) = 0, то С
0000 = 0.
Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
F
ж(1000) = С
0000 ⊕ С
1000 = 0 => С
1000 = 0 ⊕ 0 = 0
F
ж(0100) = С
0000 ⊕ С
0100 = 0 => С
0100 = 0 ⊕ 0 = 0
F
ж(0010) = С
0000 ⊕ С
0010 = 0 => С
0010 = 0 ⊕ 0 = 0
F
ж(0001) = С
0000 ⊕ С
0001 = 0 => С
0001 = 0 ⊕ 0 = 0
F
ж(1100) = С
0000 ⊕ С
1000 ⊕ С
0100 ⊕ С
1100 = 0 => С
1100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(1010) = С
0000 ⊕ С
1000 ⊕ С
0010 ⊕ С
1010 = 0 => С
1010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(1001) = С
0000 ⊕ С
1000 ⊕ С
0001 ⊕ С
1001 = 0 => С
1001 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(0110) = С
0000 ⊕ С
0100 ⊕ С
0010 ⊕ С
0110 = 0 => С
0110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(0101) = С
0000 ⊕ С
0100 ⊕ С
0001 ⊕ С
0101 = 0 => С
0101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(0011) = С
0000 ⊕ С
0010 ⊕ С
0001 ⊕ С
0011 = 0 => С
0011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(1110) = С
0000 ⊕ С
1000 ⊕ С
0100 ⊕ С
0010 ⊕ С
1100 ⊕ С
1010 ⊕ С
0110 ⊕ С
1110 = 0 => С
1110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(1101) = С
0000 ⊕ С
1000 ⊕ С
0100 ⊕ С
0001 ⊕ С
1100 ⊕ С
1001 ⊕ С
0101 ⊕ С
1101 = 0 => С
1101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(1011) = С
0000 ⊕ С
1000 ⊕ С
0010 ⊕ С
0001 ⊕ С
1010 ⊕ С
1001 ⊕ С
0011 ⊕ С
1011 = 0 => С
1011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(0111) = С
0000 ⊕ С
0100 ⊕ С
0010 ⊕ С
0001 ⊕ С
0110 ⊕ С
0101 ⊕ С
0011 ⊕ С
0111 = 0 => С
0111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(1111) = С
0000 ⊕ С
1000 ⊕ С
0100 ⊕ С
0010 ⊕ С
0001 ⊕ С
1100 ⊕ С
1010 ⊕ С
1001 ⊕ С
0110 ⊕ С
0101 ⊕ С
0011 ⊕ С
1110 ⊕ С
1101 ⊕ С
1011 ⊕ С
0111 ⊕ С
1111 = 0 => С
1111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Таким образом, полином Жегалкина будет равен:
F
ж = 0