Таблица истинности для функции ¬X2∧¬X1∧(¬X0∨X0)∧X1∧(¬X2∨X2)∧X1∧(¬X0∨X0):


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

(¬X0)∨X0:
X0¬X0(¬X0)∨X0
011
101

¬X2:
X2¬X2
01
10

(¬X2)∨X2:
X2¬X2(¬X2)∨X2
011
101

¬X1:
X1¬X1
01
10

(¬X2)∧(¬X1):
X2X1¬X2¬X1(¬X2)∧(¬X1)
00111
01100
10010
11000

((¬X2)∧(¬X1))∧((¬X0)∨X0):
X2X1X0¬X2¬X1(¬X2)∧(¬X1)¬X0(¬X0)∨X0((¬X2)∧(¬X1))∧((¬X0)∨X0)
000111111
001111011
010100110
011100010
100010110
101010010
110000110
111000010

(((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1:
X2X1X0¬X2¬X1(¬X2)∧(¬X1)¬X0(¬X0)∨X0((¬X2)∧(¬X1))∧((¬X0)∨X0)(((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1
0001111110
0011110110
0101001100
0111000100
1000101100
1010100100
1100001100
1110000100

((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2):
X2X1X0¬X2¬X1(¬X2)∧(¬X1)¬X0(¬X0)∨X0((¬X2)∧(¬X1))∧((¬X0)∨X0)(((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1¬X2(¬X2)∨X2((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2)
0001111110110
0011110110110
0101001100110
0111000100110
1000101100010
1010100100010
1100001100010
1110000100010

(((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2))∧X1:
X2X1X0¬X2¬X1(¬X2)∧(¬X1)¬X0(¬X0)∨X0((¬X2)∧(¬X1))∧((¬X0)∨X0)(((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1¬X2(¬X2)∨X2((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2)(((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2))∧X1
00011111101100
00111101101100
01010011001100
01110001001100
10001011000100
10101001000100
11000011000100
11100001000100

((((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2))∧X1)∧((¬X0)∨X0):
X2X1X0¬X2¬X1(¬X2)∧(¬X1)¬X0(¬X0)∨X0((¬X2)∧(¬X1))∧((¬X0)∨X0)(((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1¬X2(¬X2)∨X2((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2)(((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2))∧X1¬X0(¬X0)∨X0((((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2))∧X1)∧((¬X0)∨X0)
00011111101100110
00111101101100010
01010011001100110
01110001001100010
10001011000100110
10101001000100010
11000011000100110
11100001000100010

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

X2X1X0¬X0(¬X0)∨X0¬X2(¬X2)∨X2¬X1(¬X2)∧(¬X1)((¬X2)∧(¬X1))∧((¬X0)∨X0)(((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2)(((((¬X2)∧(¬X1))∧((¬X0)∨X0))∧X1)∧((¬X2)∨X2))∧X1¬X2∧¬X1∧(¬X0∨X0)∧X1∧(¬X2∨X2)∧X1∧(¬X0∨X0)
00011111110000
00101111110000
01011110000000
01101110000000
10011011000000
10101011000000
11011010000000
11101010000000

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

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

По таблице истинности:
X2X1X0F
0000
0010
0100
0110
1000
1010
1100
1110
В таблице истинности нет набора значений переменных при которых функция истинна!

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

По таблице истинности:
X2X1X0F
0000
0010
0100
0110
1000
1010
1100
1110
Fскнф = (X2∨X1∨X0) ∧ (X2∨X1∨¬X0) ∧ (X2∨¬X1∨X0) ∧ (X2∨¬X1∨¬X0) ∧ (¬X2∨X1∨X0) ∧ (¬X2∨X1∨¬X0) ∧ (¬X2∨¬X1∨X0) ∧ (¬X2∨¬X1∨¬X0)
Логическая cхема:

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

По таблице истинности функции
X2X1X0Fж
0000
0010
0100
0110
1000
1010
1100
1110

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

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

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

Таким образом, полином Жегалкина будет равен:
Fж = 0

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

Рейтинг@Mail.ru

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