Таблица истинности для функции A→¬(¬C∧B∨¬A)→¬B∧C∧¬A:


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

¬A:
A¬A
01
10

(¬C)∧B:
CB¬C(¬C)∧B
0010
0111
1000
1100

((¬C)∧B)∨(¬A):
CBA¬C(¬C)∧B¬A((¬C)∧B)∨(¬A)
0001011
0011000
0101111
0111101
1000011
1010000
1100011
1110000

¬(((¬C)∧B)∨(¬A)):
CBA¬C(¬C)∧B¬A((¬C)∧B)∨(¬A)¬(((¬C)∧B)∨(¬A))
00010110
00110001
01011110
01111010
10000110
10100001
11000110
11100001

¬B:
B¬B
01
10

(¬B)∧C:
BC¬B(¬B)∧C
0010
0111
1000
1100

((¬B)∧C)∧(¬A):
BCA¬B(¬B)∧C¬A((¬B)∧C)∧(¬A)
0001010
0011000
0101111
0111100
1000010
1010000
1100010
1110000

A→(¬(((¬C)∧B)∨(¬A))):
ACB¬C(¬C)∧B¬A((¬C)∧B)∨(¬A)¬(((¬C)∧B)∨(¬A))A→(¬(((¬C)∧B)∨(¬A)))
000101101
001111101
010001101
011001101
100100011
101110100
110000011
111000011

(A→(¬(((¬C)∧B)∨(¬A))))→(((¬B)∧C)∧(¬A)):
ACB¬C(¬C)∧B¬A((¬C)∧B)∨(¬A)¬(((¬C)∧B)∨(¬A))A→(¬(((¬C)∧B)∨(¬A)))¬B(¬B)∧C¬A((¬B)∧C)∧(¬A)(A→(¬(((¬C)∧B)∨(¬A))))→(((¬B)∧C)∧(¬A))
00010110110100
00111110100100
01000110111111
01100110100100
10010001110000
10111010000001
11000001111000
11100001100000

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

ACB¬C¬A(¬C)∧B((¬C)∧B)∨(¬A)¬(((¬C)∧B)∨(¬A))¬B(¬B)∧C((¬B)∧C)∧(¬A)A→(¬(((¬C)∧B)∨(¬A)))A→¬(¬C∧B∨¬A)→¬B∧C∧¬A
0001101010010
0011111000010
0100101011111
0110101000010
1001000110010
1011011000001
1100000111010
1110000100010

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

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

По таблице истинности:
ACBF
0000
0010
0101
0110
1000
1011
1100
1110
Fсднф = ¬A∧C∧¬B ∨ A∧¬C∧B
Логическая cхема:

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

По таблице истинности:
ACBF
0000
0010
0101
0110
1000
1011
1100
1110
Fскнф = (A∨C∨B) ∧ (A∨C∨¬B) ∧ (A∨¬C∨¬B) ∧ (¬A∨C∨B) ∧ (¬A∨¬C∨B) ∧ (¬A∨¬C∨¬B)
Логическая cхема:

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

По таблице истинности функции
ACBFж
0000
0010
0101
0110
1000
1011
1100
1110

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

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

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

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

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

Рейтинг@Mail.ru

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