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


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

X2∧X3:
X2X3X2∧X3
000
010
100
111

(X2∧X3)∧(¬X4):
X2X3X4X2∧X3¬X4(X2∧X3)∧(¬X4)
000010
001000
010010
011000
100010
101000
110111
111100

¬X3:
X3¬X3
01
10

X1∧X2:
X1X2X1∧X2
000
010
100
111

(¬X3)∧X4:
X3X4¬X3(¬X3)∧X4
0010
0111
1000
1100

(X1∧X2)∨((¬X3)∧X4):
X1X2X3X4X1∧X2¬X3(¬X3)∧X4(X1∧X2)∨((¬X3)∧X4)
00000100
00010111
00100000
00110000
01000100
01010111
01100000
01110000
10000100
10010111
10100000
10110000
11001101
11011111
11101001
11111001

((X1∧X2)∨((¬X3)∧X4))→((X2∧X3)∧(¬X4)):
X1X2X3X4X1∧X2¬X3(¬X3)∧X4(X1∧X2)∨((¬X3)∧X4)X2∧X3¬X4(X2∧X3)∧(¬X4)((X1∧X2)∨((¬X3)∧X4))→((X2∧X3)∧(¬X4))
000001000101
000101110000
001000000101
001100000001
010001000101
010101110000
011000001111
011100001001
100001000101
100101110000
101000000101
101100000001
110011010100
110111110000
111010011111
111110011000

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

X1X2X3X4¬X4X2∧X3(X2∧X3)∧(¬X4)¬X3X1∧X2(¬X3)∧X4(X1∧X2)∨((¬X3)∧X4)X1∧X2∨¬X3∧X4→(X2∧X3∧¬X4)
000010010001
000100010110
001010000001
001100000001
010010010001
010100010110
011011100001
011101000001
100010010001
100100010110
101010000001
101100000001
110010011010
110100011110
111011101011
111101001010


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

Рейтинг@Mail.ru

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