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


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

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

((¬X1)∧X2)∧X3:
X1X2X3¬X1(¬X1)∧X2((¬X1)∧X2)∧X3
000100
001100
010110
011111
100000
101000
110000
111000

¬X2:
X2¬X2
01
10

¬X3:
X3¬X3
01
10

(¬X2)∧(¬X3):
X2X3¬X2¬X3(¬X2)∧(¬X3)
00111
01100
10010
11000

((¬X2)∧(¬X3))∧X1:
X2X3X1¬X2¬X3(¬X2)∧(¬X3)((¬X2)∧(¬X3))∧X1
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

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

(X1∧(¬X2))∧X3:
X1X2X3¬X2X1∧(¬X2)(X1∧(¬X2))∧X3
000100
001100
010000
011000
100110
101111
110000
111000

(((¬X1)∧X2)∧X3)∨(((¬X2)∧(¬X3))∧X1):
X1X2X3¬X1(¬X1)∧X2((¬X1)∧X2)∧X3¬X2¬X3(¬X2)∧(¬X3)((¬X2)∧(¬X3))∧X1(((¬X1)∧X2)∧X3)∨(((¬X2)∧(¬X3))∧X1)
00010011100
00110010000
01011001000
01111100001
10000011111
10100010000
11000001000
11100000000

((((¬X1)∧X2)∧X3)∨(((¬X2)∧(¬X3))∧X1))∨((X1∧(¬X2))∧X3):
X1X2X3¬X1(¬X1)∧X2((¬X1)∧X2)∧X3¬X2¬X3(¬X2)∧(¬X3)((¬X2)∧(¬X3))∧X1(((¬X1)∧X2)∧X3)∨(((¬X2)∧(¬X3))∧X1)¬X2X1∧(¬X2)(X1∧(¬X2))∧X3((((¬X1)∧X2)∧X3)∨(((¬X2)∧(¬X3))∧X1))∨((X1∧(¬X2))∧X3)
000100111001000
001100100001000
010110010000000
011111000010001
100000111111101
101000100001111
110000010000000
111000000000000

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

X1X2X3¬X1(¬X1)∧X2((¬X1)∧X2)∧X3¬X2¬X3(¬X2)∧(¬X3)((¬X2)∧(¬X3))∧X1X1∧(¬X2)(X1∧(¬X2))∧X3(((¬X1)∧X2)∧X3)∨(((¬X2)∧(¬X3))∧X1)(¬X1∧X2∧X3)∨((¬X2∧¬X3)∧X1)∨(X1∧¬X2∧X3)
00010011100000
00110010000000
01011001000000
01111100000011
10000011111011
10100010001101
11000001000000
11100000000000

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

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

Рейтинг@Mail.ru

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