Таблица истинности для функции ¬(¬(¬(¬(¬X∧Y)∧¬Y)∨¬Y)∨¬Z)≡Z:


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

(¬X)∧Y:
XY¬X(¬X)∧Y
0010
0111
1000
1100

¬((¬X)∧Y):
XY¬X(¬X)∧Y¬((¬X)∧Y)
00101
01110
10001
11001

¬Y:
Y¬Y
01
10

(¬((¬X)∧Y))∧(¬Y):
XY¬X(¬X)∧Y¬((¬X)∧Y)¬Y(¬((¬X)∧Y))∧(¬Y)
0010111
0111000
1000111
1100100

¬((¬((¬X)∧Y))∧(¬Y)):
XY¬X(¬X)∧Y¬((¬X)∧Y)¬Y(¬((¬X)∧Y))∧(¬Y)¬((¬((¬X)∧Y))∧(¬Y))
00101110
01110001
10001110
11001001

(¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y):
XY¬X(¬X)∧Y¬((¬X)∧Y)¬Y(¬((¬X)∧Y))∧(¬Y)¬((¬((¬X)∧Y))∧(¬Y))¬Y(¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)
0010111011
0111000101
1000111011
1100100101

¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)):
XY¬X(¬X)∧Y¬((¬X)∧Y)¬Y(¬((¬X)∧Y))∧(¬Y)¬((¬((¬X)∧Y))∧(¬Y))¬Y(¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y))
00101110110
01110001010
10001110110
11001001010

¬Z:
Z¬Z
01
10

(¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z):
XYZ¬X(¬X)∧Y¬((¬X)∧Y)¬Y(¬((¬X)∧Y))∧(¬Y)¬((¬((¬X)∧Y))∧(¬Y))¬Y(¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y))¬Z(¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z)
00010111011011
00110111011000
01011000101011
01111000101000
10000111011011
10100111011000
11000100101011
11100100101000

¬((¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z)):
XYZ¬X(¬X)∧Y¬((¬X)∧Y)¬Y(¬((¬X)∧Y))∧(¬Y)¬((¬((¬X)∧Y))∧(¬Y))¬Y(¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y))¬Z(¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z)¬((¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z))
000101110110110
001101110110001
010110001010110
011110001010001
100001110110110
101001110110001
110001001010110
111001001010001

(¬((¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z)))≡Z:
XYZ¬X(¬X)∧Y¬((¬X)∧Y)¬Y(¬((¬X)∧Y))∧(¬Y)¬((¬((¬X)∧Y))∧(¬Y))¬Y(¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y))¬Z(¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z)¬((¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z))(¬((¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z)))≡Z
0001011101101101
0011011101100011
0101100010101101
0111100010100011
1000011101101101
1010011101100011
1100010010101101
1110010010100011

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

XYZ¬X(¬X)∧Y¬((¬X)∧Y)¬Y(¬((¬X)∧Y))∧(¬Y)¬((¬((¬X)∧Y))∧(¬Y))(¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y))¬Z(¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z)¬((¬((¬((¬((¬X)∧Y))∧(¬Y)))∨(¬Y)))∨(¬Z))¬(¬(¬(¬(¬X∧Y)∧¬Y)∨¬Y)∨¬Z)≡Z
000101110101101
001101110100011
010110001101101
011110001100011
100001110101101
101001110100011
110001001101101
111001001100011

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

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

По таблице истинности:
XYZF
0001
0011
0101
0111
1001
1011
1101
1111
Fсднф = ¬X∧¬Y∧¬Z ∨ ¬X∧¬Y∧Z ∨ ¬X∧Y∧¬Z ∨ ¬X∧Y∧Z ∨ X∧¬Y∧¬Z ∨ X∧¬Y∧Z ∨ X∧Y∧¬Z ∨ X∧Y∧Z
Логическая cхема:

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

По таблице истинности:
XYZF
0001
0011
0101
0111
1001
1011
1101
1111
В таблице истинности нет набора значений переменных при которых функция ложна!

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

По таблице истинности функции
XYZFж
0001
0011
0101
0111
1001
1011
1101
1111

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

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

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

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

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

Рейтинг@Mail.ru

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