Таблица истинности для функции F≡¬((P∧Q∨(¬P)∧(¬Q)∧T∨(¬Q))∧(¬P)∧(Q∨T)):


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

¬Q:
Q¬Q
01
10

P∧Q:
PQP∧Q
000
010
100
111

(¬P)∧(¬Q):
PQ¬P¬Q(¬P)∧(¬Q)
00111
01100
10010
11000

((¬P)∧(¬Q))∧T:
PQT¬P¬Q(¬P)∧(¬Q)((¬P)∧(¬Q))∧T
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

(P∧Q)∨(((¬P)∧(¬Q))∧T):
PQTP∧Q¬P¬Q(¬P)∧(¬Q)((¬P)∧(¬Q))∧T(P∧Q)∨(((¬P)∧(¬Q))∧T)
000011100
001011111
010010000
011010000
100001000
101001000
110100001
111100001

((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q):
PQTP∧Q¬P¬Q(¬P)∧(¬Q)((¬P)∧(¬Q))∧T(P∧Q)∨(((¬P)∧(¬Q))∧T)¬Q((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q)
00001110011
00101111111
01001000000
01101000000
10000100011
10100100011
11010000101
11110000101

Q∨T:
QTQ∨T
000
011
101
111

(((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P):
PQTP∧Q¬P¬Q(¬P)∧(¬Q)((¬P)∧(¬Q))∧T(P∧Q)∨(((¬P)∧(¬Q))∧T)¬Q((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q)¬P(((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P)
0000111001111
0010111111111
0100100000010
0110100000010
1000010001100
1010010001100
1101000010100
1111000010100

((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T):
PQTP∧Q¬P¬Q(¬P)∧(¬Q)((¬P)∧(¬Q))∧T(P∧Q)∨(((¬P)∧(¬Q))∧T)¬Q((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q)¬P(((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P)Q∨T((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T)
000011100111100
001011111111111
010010000001010
011010000001010
100001000110000
101001000110010
110100001010010
111100001010010

¬(((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T)):
PQTP∧Q¬P¬Q(¬P)∧(¬Q)((¬P)∧(¬Q))∧T(P∧Q)∨(((¬P)∧(¬Q))∧T)¬Q((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q)¬P(((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P)Q∨T((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T)¬(((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T))
0000111001111001
0010111111111110
0100100000010101
0110100000010101
1000010001100001
1010010001100101
1101000010100101
1111000010100101

F≡(¬(((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T))):
FPQTP∧Q¬P¬Q(¬P)∧(¬Q)((¬P)∧(¬Q))∧T(P∧Q)∨(((¬P)∧(¬Q))∧T)¬Q((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q)¬P(((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P)Q∨T((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T)¬(((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T))F≡(¬(((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T)))
000001110011110010
000101111111111101
001001000000101010
001101000000101010
010000100011000010
010100100011001010
011010000101001010
011110000101001010
100001110011110011
100101111111111100
101001000000101011
101101000000101011
110000100011000011
110100100011001011
111010000101001011
111110000101001011

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

FPQT¬P¬QP∧Q(¬P)∧(¬Q)((¬P)∧(¬Q))∧T(P∧Q)∨(((¬P)∧(¬Q))∧T)((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q)Q∨T(((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P)((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T)¬(((((P∧Q)∨(((¬P)∧(¬Q))∧T))∨(¬Q))∧(¬P))∧(Q∨T))F≡¬((P∧Q∨(¬P)∧(¬Q)∧T∨(¬Q))∧(¬P)∧(Q∨T))
0000110100101010
0001110111111101
0010100000010010
0011100000010010
0100010000100010
0101010000110010
0110001001110010
0111001001110010
1000110100101011
1001110111111100
1010100000010011
1011100000010011
1100010000100011
1101010000110011
1110001001110011
1111001001110011

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

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

По таблице истинности:
FPQTF
00000
00011
00100
00110
01000
01010
01100
01110
10001
10010
10101
10111
11001
11011
11101
11111
Fсднф = ¬F∧¬P∧¬Q∧T ∨ F∧¬P∧¬Q∧¬T ∨ F∧¬P∧Q∧¬T ∨ F∧¬P∧Q∧T ∨ F∧P∧¬Q∧¬T ∨ F∧P∧¬Q∧T ∨ F∧P∧Q∧¬T ∨ F∧P∧Q∧T
Логическая cхема:

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

По таблице истинности:
FPQTF
00000
00011
00100
00110
01000
01010
01100
01110
10001
10010
10101
10111
11001
11011
11101
11111
Fскнф = (F∨P∨Q∨T) ∧ (F∨P∨¬Q∨T) ∧ (F∨P∨¬Q∨¬T) ∧ (F∨¬P∨Q∨T) ∧ (F∨¬P∨Q∨¬T) ∧ (F∨¬P∨¬Q∨T) ∧ (F∨¬P∨¬Q∨¬T) ∧ (¬F∨P∨Q∨¬T)
Логическая cхема:

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

По таблице истинности функции
FPQTFж
00000
00011
00100
00110
01000
01010
01100
01110
10001
10010
10101
10111
11001
11011
11101
11111

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

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

Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
Fж(1000) = С0000 ⊕ С1000 = 1 => С1000 = 0 ⊕ 1 = 1
Fж(0100) = С0000 ⊕ С0100 = 0 => С0100 = 0 ⊕ 0 = 0
Fж(0010) = С0000 ⊕ С0010 = 0 => С0010 = 0 ⊕ 0 = 0
Fж(0001) = С0000 ⊕ С0001 = 1 => С0001 = 0 ⊕ 1 = 1
Fж(1100) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С1100 = 1 => С1100 = 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0
Fж(1010) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С1010 = 1 => С1010 = 0 ⊕ 1 ⊕ 0 ⊕ 1 = 0
Fж(1001) = С0000 ⊕ С1000 ⊕ С0001 ⊕ С1001 = 0 => С1001 = 0 ⊕ 1 ⊕ 1 ⊕ 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 ⊕ 1 ⊕ 0 = 1
Fж(0011) = С0000 ⊕ С0010 ⊕ С0001 ⊕ С0011 = 0 => С0011 = 0 ⊕ 0 ⊕ 1 ⊕ 0 = 1
Fж(1110) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С1100 ⊕ С1010 ⊕ С0110 ⊕ С1110 = 1 => С1110 = 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 = 0
Fж(1101) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0001 ⊕ С1100 ⊕ С1001 ⊕ С0101 ⊕ С1101 = 1 => С1101 = 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(1011) = С0000 ⊕ С1000 ⊕ С0010 ⊕ С0001 ⊕ С1010 ⊕ С1001 ⊕ С0011 ⊕ С1011 = 1 => С1011 = 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
Fж(0111) = С0000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С0111 = 0 => С0111 = 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 0 = 1
Fж(1111) = С0000 ⊕ С1000 ⊕ С0100 ⊕ С0010 ⊕ С0001 ⊕ С1100 ⊕ С1010 ⊕ С1001 ⊕ С0110 ⊕ С0101 ⊕ С0011 ⊕ С1110 ⊕ С1101 ⊕ С1011 ⊕ С0111 ⊕ С1111 = 1 => С1111 = 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0

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

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

Рейтинг@Mail.ru

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