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


Промежуточные таблицы истинности:
X∧V:
XVX∧V
000
010
100
111

(X∧V)∧Y:
XVYX∧V(X∧V)∧Y
00000
00100
01000
01100
10000
10100
11010
11111

¬((X∧V)∧Y):
XVYX∧V(X∧V)∧Y¬((X∧V)∧Y)
000001
001001
010001
011001
100001
101001
110101
111110

(¬((X∧V)∧Y))∧X:
XVYX∧V(X∧V)∧Y¬((X∧V)∧Y)(¬((X∧V)∧Y))∧X
0000010
0010010
0100010
0110010
1000011
1010011
1101011
1111100

((¬((X∧V)∧Y))∧X)∧V:
XVYX∧V(X∧V)∧Y¬((X∧V)∧Y)(¬((X∧V)∧Y))∧X((¬((X∧V)∧Y))∧X)∧V
00000100
00100100
01000100
01100100
10000110
10100110
11010111
11111000

(((¬((X∧V)∧Y))∧X)∧V)∧Z:
XVYZX∧V(X∧V)∧Y¬((X∧V)∧Y)(¬((X∧V)∧Y))∧X((¬((X∧V)∧Y))∧X)∧V(((¬((X∧V)∧Y))∧X)∧V)∧Z
0000001000
0001001000
0010001000
0011001000
0100001000
0101001000
0110001000
0111001000
1000001100
1001001100
1010001100
1011001100
1100101110
1101101111
1110110000
1111110000

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

XVYZX∧V(X∧V)∧Y¬((X∧V)∧Y)(¬((X∧V)∧Y))∧X((¬((X∧V)∧Y))∧X)∧V¬(X∧V∧Y)∧X∧V∧Z
0000001000
0001001000
0010001000
0011001000
0100001000
0101001000
0110001000
0111001000
1000001100
1001001100
1010001100
1011001100
1100101110
1101101111
1110110000
1111110000

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

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

По таблице истинности:
XVYZF
00000
00010
00100
00110
01000
01010
01100
01110
10000
10010
10100
10110
11000
11011
11100
11110
Fсднф = X∧V∧¬Y∧Z
Логическая cхема:

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

По таблице истинности:
XVYZF
00000
00010
00100
00110
01000
01010
01100
01110
10000
10010
10100
10110
11000
11011
11100
11110
Fскнф = (X∨V∨Y∨Z) ∧ (X∨V∨Y∨¬Z) ∧ (X∨V∨¬Y∨Z) ∧ (X∨V∨¬Y∨¬Z) ∧ (X∨¬V∨Y∨Z) ∧ (X∨¬V∨Y∨¬Z) ∧ (X∨¬V∨¬Y∨Z) ∧ (X∨¬V∨¬Y∨¬Z) ∧ (¬X∨V∨Y∨Z) ∧ (¬X∨V∨Y∨¬Z) ∧ (¬X∨V∨¬Y∨Z) ∧ (¬X∨V∨¬Y∨¬Z) ∧ (¬X∨¬V∨Y∨Z) ∧ (¬X∨¬V∨¬Y∨Z) ∧ (¬X∨¬V∨¬Y∨¬Z)
Логическая cхема:

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

По таблице истинности функции
XVYZFж
00000
00010
00100
00110
01000
01010
01100
01110
10000
10010
10100
10110
11000
11011
11100
11110

Построим полином Жегалкина:
Fж = C0000 ⊕ C1000∧X ⊕ C0100∧V ⊕ C0010∧Y ⊕ C0001∧Z ⊕ C1100∧X∧V ⊕ C1010∧X∧Y ⊕ C1001∧X∧Z ⊕ C0110∧V∧Y ⊕ C0101∧V∧Z ⊕ C0011∧Y∧Z ⊕ C1110∧X∧V∧Y ⊕ C1101∧X∧V∧Z ⊕ C1011∧X∧Y∧Z ⊕ C0111∧V∧Y∧Z ⊕ C1111∧X∧V∧Y∧Z

Так как 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 = 1 => С1101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 1
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 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 = 1

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

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

Рейтинг@Mail.ru

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