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


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

D∧(¬C):
DC¬CD∧(¬C)
0010
0100
1011
1100

C∨(D∧(¬C)):
CD¬CD∧(¬C)C∨(D∧(¬C))
00100
01111
10001
11001

A∨D:
ADA∨D
000
011
101
111

¬(A∨D):
ADA∨D¬(A∨D)
0001
0110
1010
1110

A∧(C∨(D∧(¬C))):
ACD¬CD∧(¬C)C∨(D∧(¬C))A∧(C∨(D∧(¬C)))
0001000
0011110
0100010
0110010
1001000
1011111
1100011
1110011

C∧(¬(A∨D)):
CADA∨D¬(A∨D)C∧(¬(A∨D))
000010
001100
010100
011100
100011
101100
110100
111100

(A∧(C∨(D∧(¬C))))∨(C∧(¬(A∨D))):
ACD¬CD∧(¬C)C∨(D∧(¬C))A∧(C∨(D∧(¬C)))A∨D¬(A∨D)C∧(¬(A∨D))(A∧(C∨(D∧(¬C))))∨(C∧(¬(A∨D)))
00010000100
00111101000
01000100111
01100101000
10010001000
10111111001
11000111001
11100111001

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

ACD¬CD∧(¬C)C∨(D∧(¬C))A∨D¬(A∨D)A∧(C∨(D∧(¬C)))C∧(¬(A∨D))A∧(C∨D∧¬C)∨C∧¬(A∨D)
00010001000
00111110000
01000101011
01100110000
10010010000
10111110101
11000110101
11100110101

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

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

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

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

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

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

По таблице истинности функции
ACDFж
0000
0010
0101
0110
1000
1011
1101
1111

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

Так как 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 = 1 => С110 = 0 ⊕ 0 ⊕ 1 ⊕ 1 = 0
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 = 1 => С111 = 0 ⊕ 0 ⊕ 1 ⊕ 0 ⊕ 0 ⊕ 1 ⊕ 1 ⊕ 1 = 0

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

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

Рейтинг@Mail.ru

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