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


Промежуточные таблицы истинности:
X∨Y:
XYX∨Y
000
011
101
111

¬Y:
Y¬Y
01
10

¬X:
X¬X
01
10

¬T:
T¬T
01
10

X∧(¬Y):
XY¬YX∧(¬Y)
0010
0100
1011
1100

X∧T:
XTX∧T
000
010
100
111

(¬Y)∧(¬X):
YX¬Y¬X(¬Y)∧(¬X)
00111
01100
10010
11000

(¬Y)∧T:
YT¬Y(¬Y)∧T
0010
0111
1000
1100

(¬T)∧(¬X):
TX¬T¬X(¬T)∧(¬X)
00111
01100
10010
11000

(¬T)∧(¬Y):
TY¬T¬Y(¬T)∧(¬Y)
00111
01100
10010
11000

(X∧(¬Y))∨(X∧T):
XYT¬YX∧(¬Y)X∧T(X∧(¬Y))∨(X∧T)
0001000
0011000
0100000
0110000
1001101
1011111
1100000
1110011

((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)):
XYT¬YX∧(¬Y)X∧T(X∧(¬Y))∨(X∧T)¬Y¬X(¬Y)∧(¬X)((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X))
00010001111
00110001111
01000000100
01100000100
10011011001
10111111001
11000000000
11100110001

(((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y):
XYT¬YX∧(¬Y)X∧T(X∧(¬Y))∨(X∧T)¬Y¬X(¬Y)∧(¬X)((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X))¬Y(((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y)
0001000111111
0011000111111
0100000010000
0110000010000
1001101100111
1011111100111
1100000000000
1110011000101

((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T):
XYT¬YX∧(¬Y)X∧T(X∧(¬Y))∨(X∧T)¬Y¬X(¬Y)∧(¬X)((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X))¬Y(((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y)¬Y(¬Y)∧T((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T)
0001000111111101
0011000111111111
0100000010000000
0110000010000000
1001101100111101
1011111100111111
1100000000000000
1110011000101001

(((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X)):
XYT¬YX∧(¬Y)X∧T(X∧(¬Y))∨(X∧T)¬Y¬X(¬Y)∧(¬X)((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X))¬Y(((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y)¬Y(¬Y)∧T((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T)¬T¬X(¬T)∧(¬X)(((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X))
00010001111111011111
00110001111111110101
01000000100000001111
01100000100000000100
10011011001111011001
10111111001111110001
11000000000000001000
11100110001010010001

((((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X)))∨((¬T)∧(¬Y)):
XYT¬YX∧(¬Y)X∧T(X∧(¬Y))∨(X∧T)¬Y¬X(¬Y)∧(¬X)((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X))¬Y(((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y)¬Y(¬Y)∧T((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T)¬T¬X(¬T)∧(¬X)(((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X))¬T¬Y(¬T)∧(¬Y)((((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X)))∨((¬T)∧(¬Y))
000100011111110111111111
001100011111111101010101
010000001000000011111001
011000001000000001000000
100110110011110110011111
101111110011111100010101
110000000000000010001000
111001100010100100010001

(X∨Y)∧(((((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X)))∨((¬T)∧(¬Y))):
XYTX∨Y¬YX∧(¬Y)X∧T(X∧(¬Y))∨(X∧T)¬Y¬X(¬Y)∧(¬X)((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X))¬Y(((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y)¬Y(¬Y)∧T((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T)¬T¬X(¬T)∧(¬X)(((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X))¬T¬Y(¬T)∧(¬Y)((((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X)))∨((¬T)∧(¬Y))(X∨Y)∧(((((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X)))∨((¬T)∧(¬Y)))
00001000111111101111111110
00101000111111111010101010
01010000010000000111110011
01110000010000000010000000
10011101100111101100111111
10111111100111111000101011
11010000000000000100010000
11110011000101001000100011

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

XYTX∨Y¬Y¬X¬TX∧(¬Y)X∧T(¬Y)∧(¬X)(¬Y)∧T(¬T)∧(¬X)(¬T)∧(¬Y)(X∧(¬Y))∨(X∧T)((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X))(((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y)((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T)(((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X))((((((X∧(¬Y))∨(X∧T))∨((¬Y)∧(¬X)))∨(¬Y))∨((¬Y)∧T))∨((¬T)∧(¬X)))∨((¬T)∧(¬Y))(X∨Y)∧(X∧¬Y∨X∧T∨¬Y∧¬X∨¬Y∨¬Y∧T∨¬T∧¬X∨¬T∧¬Y)
00001110010110111110
00101100011000111110
01010110000100000111
01110100000000000000
10011011000011111111
10111001101001111111
11010010000000000000
11110000100001111111

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

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

По таблице истинности:
XYTF
0000
0010
0101
0110
1001
1011
1100
1111
Fсднф = ¬X∧Y∧¬T ∨ X∧¬Y∧¬T ∨ X∧¬Y∧T ∨ X∧Y∧T
Логическая cхема:

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

По таблице истинности:
XYTF
0000
0010
0101
0110
1001
1011
1100
1111
Fскнф = (X∨Y∨T) ∧ (X∨Y∨¬T) ∧ (X∨¬Y∨¬T) ∧ (¬X∨¬Y∨T)
Логическая cхема:

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

По таблице истинности функции
XYTFж
0000
0010
0101
0110
1001
1011
1100
1111

Построим полином Жегалкина:
Fж = C000 ⊕ C100∧X ⊕ C010∧Y ⊕ C001∧T ⊕ C110∧X∧Y ⊕ C101∧X∧T ⊕ C011∧Y∧T ⊕ C111∧X∧Y∧T

Так как Fж(000) = 0, то С000 = 0.

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(100) = С000 ⊕ С100 = 1 => С100 = 0 ⊕ 1 = 1
Fж(010) = С000 ⊕ С010 = 1 => С010 = 0 ⊕ 1 = 1
Fж(001) = С000 ⊕ С001 = 0 => С001 = 0 ⊕ 0 = 0
Fж(110) = С000 ⊕ С100 ⊕ С010 ⊕ С110 = 0 => С110 = 0 ⊕ 1 ⊕ 1 ⊕ 0 = 0
Fж(101) = С000 ⊕ С100 ⊕ С001 ⊕ С101 = 1 => С101 = 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0
Fж(011) = С000 ⊕ С010 ⊕ С001 ⊕ С011 = 0 => С011 = 0 ⊕ 1 ⊕ 0 ⊕ 0 = 1
Fж(111) = С000 ⊕ С100 ⊕ С010 ⊕ С001 ⊕ С110 ⊕ С101 ⊕ С011 ⊕ С111 = 1 => С111 = 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0

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

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

Рейтинг@Mail.ru

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