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


Промежуточные таблицы истинности:
X1∧X2:
X1X2X1∧X2
000
010
100
111

X1∨X2:
X1X2X1∨X2
000
011
101
111

¬(X1∧X2):
X1X2X1∧X2¬(X1∧X2)
0001
0101
1001
1110

¬(X1∨X2):
X1X2X1∨X2¬(X1∨X2)
0001
0110
1010
1110

(¬(X1∧X2))⊕(¬(X1∨X2)):
X1X2X1∧X2¬(X1∧X2)X1∨X2¬(X1∨X2)(¬(X1∧X2))⊕(¬(X1∨X2))
0001010
0101101
1001101
1110100

¬((¬(X1∧X2))⊕(¬(X1∨X2))):
X1X2X1∧X2¬(X1∧X2)X1∨X2¬(X1∨X2)(¬(X1∧X2))⊕(¬(X1∨X2))¬((¬(X1∧X2))⊕(¬(X1∨X2)))
00010101
01011010
10011010
11101001

X3↓X3:
X3X3↓X3
01
10

(¬((¬(X1∧X2))⊕(¬(X1∨X2))))∧(X3↓X3):
X1X2X3X1∧X2¬(X1∧X2)X1∨X2¬(X1∨X2)(¬(X1∧X2))⊕(¬(X1∨X2))¬((¬(X1∧X2))⊕(¬(X1∨X2)))X3↓X3(¬((¬(X1∧X2))⊕(¬(X1∨X2))))∧(X3↓X3)
00001010111
00101010100
01001101010
01101101000
10001101010
10101101000
11010100111
11110100100

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

X1X2X3X1∧X2X1∨X2¬(X1∧X2)¬(X1∨X2)(¬(X1∧X2))⊕(¬(X1∨X2))¬((¬(X1∧X2))⊕(¬(X1∨X2)))X3↓X3¬(¬(X1∧X2)⊕¬(X1∨X2))∧X3↓X3
00000110111
00100110100
01001101010
01101101000
10001101010
10101101000
11011000111
11111000100

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

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

По таблице истинности:
X1X2X3F
0001
0010
0100
0110
1000
1010
1101
1110
Fсднф = ¬X1∧¬X2∧¬X3 ∨ X1∧X2∧¬X3
Логическая cхема:

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

Рейтинг@Mail.ru

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