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


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

¬X3:
X3¬X3
01
10

X1∧X2:
X1X2X1∧X2
000
010
100
111

(¬X1)∧(¬X3):
X1X3¬X1¬X3(¬X1)∧(¬X3)
00111
01100
10010
11000

(X1∧X2)∨((¬X1)∧(¬X3)):
X1X2X3X1∧X2¬X1¬X3(¬X1)∧(¬X3)(X1∧X2)∨((¬X1)∧(¬X3))
00001111
00101000
01001111
01101000
10000100
10100000
11010101
11110001

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

X1X2X3¬X1¬X3X1∧X2(¬X1)∧(¬X3)X1∧X2∨¬X1∧¬X3
00011011
00110000
01011011
01110000
10001000
10100000
11001101
11100101

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

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

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

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

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

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

Рейтинг@Mail.ru

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