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


Промежуточные таблицы истинности:
D∧A:
DAD∧A
000
010
100
111

D∧E:
DED∧E
000
010
100
111

A∨(D∧E):
ADED∧EA∨(D∧E)
00000
00100
01000
01111
10001
10101
11001
11111

¬(D∧A):
DAD∧A¬(D∧A)
0001
0101
1001
1110

¬(A∨(D∧E)):
ADED∧EA∨(D∧E)¬(A∨(D∧E))
000001
001001
010001
011110
100010
101010
110010
111110

A∧(¬(D∧A)):
ADD∧A¬(D∧A)A∧(¬(D∧A))
00010
01010
10011
11100

(A∧(¬(D∧A)))→(¬(A∨(D∧E))):
ADED∧A¬(D∧A)A∧(¬(D∧A))D∧EA∨(D∧E)¬(A∨(D∧E))(A∧(¬(D∧A)))→(¬(A∨(D∧E)))
0000100011
0010100011
0100100011
0110101101
1000110100
1010110100
1101000101
1111001101

¬(D∧E):
DED∧E¬(D∧E)
0001
0101
1001
1110

A∧E:
AEA∧E
000
010
100
111

E∨((A∧(¬(D∧A)))→(¬(A∨(D∧E)))):
EADD∧A¬(D∧A)A∧(¬(D∧A))D∧EA∨(D∧E)¬(A∨(D∧E))(A∧(¬(D∧A)))→(¬(A∨(D∧E)))E∨((A∧(¬(D∧A)))→(¬(A∨(D∧E))))
00001000111
00101000111
01001101000
01110001011
10001000111
10101011011
11001101001
11110011011

(A∧E)∨A:
AEA∧E(A∧E)∨A
0000
0100
1001
1111

((A∧E)∨A)→(¬(D∧E)):
AEDA∧E(A∧E)∨AD∧E¬(D∧E)((A∧E)∨A)→(¬(D∧E))
00000011
00100011
01000011
01100101
10001011
10101011
11011011
11111100

(E∨((A∧(¬(D∧A)))→(¬(A∨(D∧E)))))≡(((A∧E)∨A)→(¬(D∧E))):
EADD∧A¬(D∧A)A∧(¬(D∧A))D∧EA∨(D∧E)¬(A∨(D∧E))(A∧(¬(D∧A)))→(¬(A∨(D∧E)))E∨((A∧(¬(D∧A)))→(¬(A∨(D∧E))))A∧E(A∧E)∨AD∧E¬(D∧E)((A∧E)∨A)→(¬(D∧E))(E∨((A∧(¬(D∧A)))→(¬(A∨(D∧E)))))≡(((A∧E)∨A)→(¬(D∧E)))
00001000111000111
00101000111000111
01001101000010110
01110001011010111
10001000111000111
10101011011001011
11001101001110111
11110011011111000

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

EADD∧AD∧EA∨(D∧E)¬(D∧A)¬(A∨(D∧E))A∧(¬(D∧A))(A∧(¬(D∧A)))→(¬(A∨(D∧E)))¬(D∧E)A∧EE∨((A∧(¬(D∧A)))→(¬(A∨(D∧E))))(A∧E)∨A((A∧E)∨A)→(¬(D∧E))E∨(A∧¬(D∧A)→¬(A∨D∧E))≡A∧E∨A→¬(D∧E)
0000001101101011
0010001101101011
0100011010100110
0111010001101111
1000001101101011
1010111001001011
1100011010111111
1111110001011100

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

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

По таблице истинности:
EADF
0001
0011
0100
0111
1001
1011
1101
1110
Fсднф = ¬E∧¬A∧¬D ∨ ¬E∧¬A∧D ∨ ¬E∧A∧D ∨ E∧¬A∧¬D ∨ E∧¬A∧D ∨ E∧A∧¬D
Логическая cхема:

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

По таблице истинности:
EADF
0001
0011
0100
0111
1001
1011
1101
1110
Fскнф = (E∨¬A∨D) ∧ (¬E∨¬A∨¬D)
Логическая cхема:

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

По таблице истинности функции
EADFж
0001
0011
0100
0111
1001
1011
1101
1110

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

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

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

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

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

Рейтинг@Mail.ru

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