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


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

X∧V:
XVX∧V
000
010
100
111

(X∧V)∧(¬Y):
XVYX∧V¬Y(X∧V)∧(¬Y)
000010
001000
010010
011000
100010
101000
110111
111100

X∧Z:
XZX∧Z
000
010
100
111

((X∧V)∧(¬Y))→(X∧Z):
XVYZX∧V¬Y(X∧V)∧(¬Y)X∧Z((X∧V)∧(¬Y))→(X∧Z)
000001001
000101001
001000001
001100001
010001001
010101001
011000001
011100001
100001001
100101011
101000001
101100011
110011100
110111111
111010001
111110011

¬X:
X¬X
01
10

X→(¬X):
X¬XX→(¬X)
011
100

¬(X→(¬X)):
X¬XX→(¬X)¬(X→(¬X))
0110
1001

¬Z:
Z¬Z
01
10

(¬(X→(¬X)))∧V:
XV¬XX→(¬X)¬(X→(¬X))(¬(X→(¬X)))∧V
001100
011100
100010
110011

((¬(X→(¬X)))∧V)∧Y:
XVY¬XX→(¬X)¬(X→(¬X))(¬(X→(¬X)))∧V((¬(X→(¬X)))∧V)∧Y
00011000
00111000
01011000
01111000
10000100
10100100
11000110
11100111

(((¬(X→(¬X)))∧V)∧Y)∧(¬Z):
XVYZ¬XX→(¬X)¬(X→(¬X))(¬(X→(¬X)))∧V((¬(X→(¬X)))∧V)∧Y¬Z(((¬(X→(¬X)))∧V)∧Y)∧(¬Z)
00001100010
00011100000
00101100010
00111100000
01001100010
01011100000
01101100010
01111100000
10000010010
10010010000
10100010010
10110010000
11000011010
11010011000
11100011111
11110011100

(((X∧V)∧(¬Y))→(X∧Z))→((((¬(X→(¬X)))∧V)∧Y)∧(¬Z)):
XVYZX∧V¬Y(X∧V)∧(¬Y)X∧Z((X∧V)∧(¬Y))→(X∧Z)¬XX→(¬X)¬(X→(¬X))(¬(X→(¬X)))∧V((¬(X→(¬X)))∧V)∧Y¬Z(((¬(X→(¬X)))∧V)∧Y)∧(¬Z)(((X∧V)∧(¬Y))→(X∧Z))→((((¬(X→(¬X)))∧V)∧Y)∧(¬Z))
00000100111000100
00010100111000000
00100000111000100
00110000111000000
01000100111000100
01010100111000000
01100000111000100
01110000111000000
10000100100100100
10010101100100000
10100000100100100
10110001100100000
11001110000110101
11011111100110000
11101000100111111
11111001100111000

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

XVYZ¬YX∧V(X∧V)∧(¬Y)X∧Z((X∧V)∧(¬Y))→(X∧Z)¬XX→(¬X)¬(X→(¬X))¬Z(¬(X→(¬X)))∧V((¬(X→(¬X)))∧V)∧Y(((¬(X→(¬X)))∧V)∧Y)∧(¬Z)(X∧V∧¬Y→X∧Z)→(¬(X→¬X))∧V∧Y∧¬Z
00001000111010000
00011000111000000
00100000111010000
00110000111000000
01001000111010000
01011000111000000
01100000111010000
01110000111000000
10001000100110000
10011001100100000
10100000100110000
10110001100100000
11001110000111001
11011111100101000
11100100100111111
11110101100101100

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

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

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

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

По таблице истинности:
XVYZF
00000
00010
00100
00110
01000
01010
01100
01110
10000
10010
10100
10110
11001
11010
11101
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)
Логическая cхема:

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

По таблице истинности функции
XVYZFж
00000
00010
00100
00110
01000
01010
01100
01110
10000
10010
10100
10110
11001
11010
11101
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 = 1 => С1100 = 0 ⊕ 0 ⊕ 0 ⊕ 1 = 1
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 = 1 => С1110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(1101) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0001 ⊕ С1100 ⊕ С1001 ⊕ С0101 ⊕ С1101 = 0 => С1101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 = 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 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 = 0

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

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

Рейтинг@Mail.ru

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