Таблица истинности для функции F≡((¬X∧V∧Y))∧(¬Z∧V∧¬X):


Промежуточные таблицы истинности:
¬X:
X¬X
01
10

(¬X)∧V:
XV¬X(¬X)∧V
0010
0111
1000
1100

((¬X)∧V)∧Y:
XVY¬X(¬X)∧V((¬X)∧V)∧Y
000100
001100
010110
011111
100000
101000
110000
111000

¬Z:
Z¬Z
01
10

(¬Z)∧V:
ZV¬Z(¬Z)∧V
0010
0111
1000
1100

((¬Z)∧V)∧(¬X):
ZVX¬Z(¬Z)∧V¬X((¬Z)∧V)∧(¬X)
0001010
0011000
0101111
0111100
1000010
1010000
1100010
1110000

(((¬X)∧V)∧Y)∧(((¬Z)∧V)∧(¬X)):
XVYZ¬X(¬X)∧V((¬X)∧V)∧Y¬Z(¬Z)∧V¬X((¬Z)∧V)∧(¬X)(((¬X)∧V)∧Y)∧(((¬Z)∧V)∧(¬X))
000010010100
000110000100
001010010100
001110000100
010011011110
010111000100
011011111111
011111100100
100000010000
100100000000
101000010000
101100000000
110000011000
110100000000
111000011000
111100000000

F≡((((¬X)∧V)∧Y)∧(((¬Z)∧V)∧(¬X))):
FXVYZ¬X(¬X)∧V((¬X)∧V)∧Y¬Z(¬Z)∧V¬X((¬Z)∧V)∧(¬X)(((¬X)∧V)∧Y)∧(((¬Z)∧V)∧(¬X))F≡((((¬X)∧V)∧Y)∧(((¬Z)∧V)∧(¬X)))
00000100101001
00001100001001
00010100101001
00011100001001
00100110111101
00101110001001
00110111111110
00111111001001
01000000100001
01001000000001
01010000100001
01011000000001
01100000110001
01101000000001
01110000110001
01111000000001
10000100101000
10001100001000
10010100101000
10011100001000
10100110111100
10101110001000
10110111111111
10111111001000
11000000100000
11001000000000
11010000100000
11011000000000
11100000110000
11101000000000
11110000110000
11111000000000

Общая таблица истинности:

FXVYZ¬X(¬X)∧V((¬X)∧V)∧Y¬Z(¬Z)∧V((¬Z)∧V)∧(¬X)(((¬X)∧V)∧Y)∧(((¬Z)∧V)∧(¬X))F≡((¬X∧V∧Y))∧(¬Z∧V∧¬X)
0000010010001
0000110000001
0001010010001
0001110000001
0010011011101
0010111000001
0011011111110
0011111100001
0100000010001
0100100000001
0101000010001
0101100000001
0110000011001
0110100000001
0111000011001
0111100000001
1000010010000
1000110000000
1001010010000
1001110000000
1010011011100
1010111000000
1011011111111
1011111100000
1100000010000
1100100000000
1101000010000
1101100000000
1110000011000
1110100000000
1111000011000
1111100000000

Логическая схема:

Совершенная дизъюнктивная нормальная форма (СДНФ):

По таблице истинности:
FXVYZF
000001
000011
000101
000111
001001
001011
001100
001111
010001
010011
010101
010111
011001
011011
011101
011111
100000
100010
100100
100110
101000
101010
101101
101110
110000
110010
110100
110110
111000
111010
111100
111110
Fсднф = ¬F∧¬X∧¬V∧¬Y∧¬Z ∨ ¬F∧¬X∧¬V∧¬Y∧Z ∨ ¬F∧¬X∧¬V∧Y∧¬Z ∨ ¬F∧¬X∧¬V∧Y∧Z ∨ ¬F∧¬X∧V∧¬Y∧¬Z ∨ ¬F∧¬X∧V∧¬Y∧Z ∨ ¬F∧¬X∧V∧Y∧Z ∨ ¬F∧X∧¬V∧¬Y∧¬Z ∨ ¬F∧X∧¬V∧¬Y∧Z ∨ ¬F∧X∧¬V∧Y∧¬Z ∨ ¬F∧X∧¬V∧Y∧Z ∨ ¬F∧X∧V∧¬Y∧¬Z ∨ ¬F∧X∧V∧¬Y∧Z ∨ ¬F∧X∧V∧Y∧¬Z ∨ ¬F∧X∧V∧Y∧Z ∨ F∧¬X∧V∧Y∧¬Z
Логическая cхема:

Совершенная конъюнктивная нормальная форма (СКНФ):

По таблице истинности:
FXVYZF
000001
000011
000101
000111
001001
001011
001100
001111
010001
010011
010101
010111
011001
011011
011101
011111
100000
100010
100100
100110
101000
101010
101101
101110
110000
110010
110100
110110
111000
111010
111100
111110
Fскнф = (F∨X∨¬V∨¬Y∨Z) ∧ (¬F∨X∨V∨Y∨Z) ∧ (¬F∨X∨V∨Y∨¬Z) ∧ (¬F∨X∨V∨¬Y∨Z) ∧ (¬F∨X∨V∨¬Y∨¬Z) ∧ (¬F∨X∨¬V∨Y∨Z) ∧ (¬F∨X∨¬V∨Y∨¬Z) ∧ (¬F∨X∨¬V∨¬Y∨¬Z) ∧ (¬F∨¬X∨V∨Y∨Z) ∧ (¬F∨¬X∨V∨Y∨¬Z) ∧ (¬F∨¬X∨V∨¬Y∨Z) ∧ (¬F∨¬X∨V∨¬Y∨¬Z) ∧ (¬F∨¬X∨¬V∨Y∨Z) ∧ (¬F∨¬X∨¬V∨Y∨¬Z) ∧ (¬F∨¬X∨¬V∨¬Y∨Z) ∧ (¬F∨¬X∨¬V∨¬Y∨¬Z)
Логическая cхема:

Построение полинома Жегалкина:

По таблице истинности функции
FXVYZFж
000001
000011
000101
000111
001001
001011
001100
001111
010001
010011
010101
010111
011001
011011
011101
011111
100000
100010
100100
100110
101000
101010
101101
101110
110000
110010
110100
110110
111000
111010
111100
111110

Построим полином Жегалкина:
Fж = C00000 ⊕ C10000∧F ⊕ C01000∧X ⊕ C00100∧V ⊕ C00010∧Y ⊕ C00001∧Z ⊕ C11000∧F∧X ⊕ C10100∧F∧V ⊕ C10010∧F∧Y ⊕ C10001∧F∧Z ⊕ C01100∧X∧V ⊕ C01010∧X∧Y ⊕ C01001∧X∧Z ⊕ C00110∧V∧Y ⊕ C00101∧V∧Z ⊕ C00011∧Y∧Z ⊕ C11100∧F∧X∧V ⊕ C11010∧F∧X∧Y ⊕ C11001∧F∧X∧Z ⊕ C10110∧F∧V∧Y ⊕ C10101∧F∧V∧Z ⊕ C10011∧F∧Y∧Z ⊕ C01110∧X∧V∧Y ⊕ C01101∧X∧V∧Z ⊕ C01011∧X∧Y∧Z ⊕ C00111∧V∧Y∧Z ⊕ C11110∧F∧X∧V∧Y ⊕ C11101∧F∧X∧V∧Z ⊕ C11011∧F∧X∧Y∧Z ⊕ C10111∧F∧V∧Y∧Z ⊕ C01111∧X∧V∧Y∧Z ⊕ C11111∧F∧X∧V∧Y∧Z

Так как Fж(00000) = 1, то С00000 = 1.

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(10000) = С00000 ⊕ С10000 = 0 => С10000 = 1 ⊕ 0 = 1
Fж(01000) = С00000 ⊕ С01000 = 1 => С01000 = 1 ⊕ 1 = 0
Fж(00100) = С00000 ⊕ С00100 = 1 => С00100 = 1 ⊕ 1 = 0
Fж(00010) = С00000 ⊕ С00010 = 1 => С00010 = 1 ⊕ 1 = 0
Fж(00001) = С00000 ⊕ С00001 = 1 => С00001 = 1 ⊕ 1 = 0
Fж(11000) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С11000 = 0 => С11000 = 1 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(10100) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С10100 = 0 => С10100 = 1 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(10010) = С00000 ⊕ С10000 ⊕ С00010 ⊕ С10010 = 0 => С10010 = 1 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(10001) = С00000 ⊕ С10000 ⊕ С00001 ⊕ С10001 = 0 => С10001 = 1 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Fж(01100) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С01100 = 1 => С01100 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(01010) = С00000 ⊕ С01000 ⊕ С00010 ⊕ С01010 = 1 => С01010 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(01001) = С00000 ⊕ С01000 ⊕ С00001 ⊕ С01001 = 1 => С01001 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(00110) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00110 = 0 => С00110 = 1 ⊕ 0 ⊕ 0 ⊕ 0 = 1
Fж(00101) = С00000 ⊕ С00100 ⊕ С00001 ⊕ С00101 = 1 => С00101 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(00011) = С00000 ⊕ С00010 ⊕ С00001 ⊕ С00011 = 1 => С00011 = 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(11100) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С11000 ⊕ С10100 ⊕ С01100 ⊕ С11100 = 0 => С11100 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(11010) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00010 ⊕ С11000 ⊕ С10010 ⊕ С01010 ⊕ С11010 = 0 => С11010 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(11001) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00001 ⊕ С11000 ⊕ С10001 ⊕ С01001 ⊕ С11001 = 0 => С11001 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10110) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00010 ⊕ С10100 ⊕ С10010 ⊕ С00110 ⊕ С10110 = 1 => С10110 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(10101) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00001 ⊕ С10100 ⊕ С10001 ⊕ С00101 ⊕ С10101 = 0 => С10101 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10011) = С00000 ⊕ С10000 ⊕ С00010 ⊕ С00001 ⊕ С10010 ⊕ С10001 ⊕ С00011 ⊕ С10011 = 0 => С10011 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(01110) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С01100 ⊕ С01010 ⊕ С00110 ⊕ С01110 = 1 => С01110 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 1
Fж(01101) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00001 ⊕ С01100 ⊕ С01001 ⊕ С00101 ⊕ С01101 = 1 => С01101 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(01011) = С00000 ⊕ С01000 ⊕ С00010 ⊕ С00001 ⊕ С01010 ⊕ С01001 ⊕ С00011 ⊕ С01011 = 1 => С01011 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(00111) = С00000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С00111 = 1 => С00111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 = 1
Fж(11110) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С11000 ⊕ С10100 ⊕ С10010 ⊕ С01100 ⊕ С01010 ⊕ С00110 ⊕ С11100 ⊕ С11010 ⊕ С10110 ⊕ С01110 ⊕ С11110 = 0 => С11110 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 = 0
Fж(11101) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00001 ⊕ С11000 ⊕ С10100 ⊕ С10001 ⊕ С01100 ⊕ С01001 ⊕ С00101 ⊕ С11100 ⊕ С11001 ⊕ С10101 ⊕ С01101 ⊕ С11101 = 0 => С11101 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(11011) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00010 ⊕ С00001 ⊕ С11000 ⊕ С10010 ⊕ С10001 ⊕ С01010 ⊕ С01001 ⊕ С00011 ⊕ С11010 ⊕ С11001 ⊕ С10011 ⊕ С01011 ⊕ С11011 = 0 => С11011 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Fж(10111) = С00000 ⊕ С10000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С10100 ⊕ С10010 ⊕ С10001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С10110 ⊕ С10101 ⊕ С10011 ⊕ С00111 ⊕ С10111 = 0 => С10111 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 = 0
Fж(01111) = С00000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С01100 ⊕ С01010 ⊕ С01001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С01110 ⊕ С01101 ⊕ С01011 ⊕ С00111 ⊕ С01111 = 1 => С01111 = 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 1
Fж(11111) = С00000 ⊕ С10000 ⊕ С01000 ⊕ С00100 ⊕ С00010 ⊕ С00001 ⊕ С11000 ⊕ С10100 ⊕ С10010 ⊕ С10001 ⊕ С01100 ⊕ С01010 ⊕ С01001 ⊕ С00110 ⊕ С00101 ⊕ С00011 ⊕ С11100 ⊕ С11010 ⊕ С11001 ⊕ С10110 ⊕ С10101 ⊕ С10011 ⊕ С01110 ⊕ С01101 ⊕ С01011 ⊕ С00111 ⊕ С11110 ⊕ С11101 ⊕ С11011 ⊕ С10111 ⊕ С01111 ⊕ С11111 = 0 => С11111 = 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 = 0

Таким образом, полином Жегалкина будет равен:
Fж = 1 ⊕ F ⊕ V∧Y ⊕ X∧V∧Y ⊕ V∧Y∧Z ⊕ X∧V∧Y∧Z
Логическая схема, соответствующая полиному Жегалкина:

Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы