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


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

¬X2:
X2¬X2
01
10

(¬X1)∧X2:
X1X2¬X1(¬X1)∧X2
0010
0111
1000
1100

X1∧(¬X2):
X1X2¬X2X1∧(¬X2)
0010
0100
1011
1100

((¬X1)∧X2)∨(X1∧(¬X2)):
X1X2¬X1(¬X1)∧X2¬X2X1∧(¬X2)((¬X1)∧X2)∨(X1∧(¬X2))
0010100
0111001
1000111
1100000

¬(((¬X1)∧X2)∨(X1∧(¬X2))):
X1X2¬X1(¬X1)∧X2¬X2X1∧(¬X2)((¬X1)∧X2)∨(X1∧(¬X2))¬(((¬X1)∧X2)∨(X1∧(¬X2)))
00101001
01110010
10001110
11000001

(¬(((¬X1)∧X2)∨(X1∧(¬X2))))∧(¬(((¬X1)∧X2)∨(X1∧(¬X2)))):
X1X2¬X1(¬X1)∧X2¬X2X1∧(¬X2)((¬X1)∧X2)∨(X1∧(¬X2))¬(((¬X1)∧X2)∨(X1∧(¬X2)))¬X1(¬X1)∧X2¬X2X1∧(¬X2)((¬X1)∧X2)∨(X1∧(¬X2))¬(((¬X1)∧X2)∨(X1∧(¬X2)))(¬(((¬X1)∧X2)∨(X1∧(¬X2))))∧(¬(((¬X1)∧X2)∨(X1∧(¬X2))))
001010011010011
011100101100100
100011100011100
110000010000011

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

X1X2¬X1¬X2(¬X1)∧X2X1∧(¬X2)((¬X1)∧X2)∨(X1∧(¬X2))¬(((¬X1)∧X2)∨(X1∧(¬X2)))¬((¬X1)∧X2∨X1∧(¬X2))∧¬((¬X1∧X2)∨X1∧(¬X2))
001100011
011010100
100101100
110000011

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

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

По таблице истинности:
X1X2F
001
010
100
111
Fсднф = ¬X1∧¬X2 ∨ X1∧X2
Логическая cхема:

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

По таблице истинности:
X1X2F
001
010
100
111
Fскнф = (X1∨¬X2) ∧ (¬X1∨X2)
Логическая cхема:

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

Рейтинг@Mail.ru

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