Таблица истинности для функции (¬X∧¬Y∧Z)∨(¬X∧Y∧¬Z)≡¬(((X|X)|(Y|Y)|Z)|((X|X)|Y|(Z|Z))):


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

¬Y:
Y¬Y
01
10

(¬X)∧(¬Y):
XY¬X¬Y(¬X)∧(¬Y)
00111
01100
10010
11000

((¬X)∧(¬Y))∧Z:
XYZ¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

¬Z:
Z¬Z
01
10

(¬X)∧Y:
XY¬X(¬X)∧Y
0010
0111
1000
1100

((¬X)∧Y)∧(¬Z):
XYZ¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)
0001010
0011000
0101111
0111100
1000010
1010000
1100010
1110000

X|X:
XX|X
01
10

Y|Y:
YY|Y
01
10

(X|X)|(Y|Y):
XYX|XY|Y(X|X)|(Y|Y)
00110
01101
10011
11001

((X|X)|(Y|Y))|Z:
XYZX|XY|Y(X|X)|(Y|Y)((X|X)|(Y|Y))|Z
0001101
0011101
0101011
0111010
1000111
1010110
1100011
1110010

Z|Z:
ZZ|Z
01
10

(X|X)|Y:
XYX|X(X|X)|Y
0011
0110
1001
1101

((X|X)|Y)|(Z|Z):
XYZX|X(X|X)|YZ|Z((X|X)|Y)|(Z|Z)
0001110
0011101
0101011
0111001
1000110
1010101
1100110
1110101

(((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z)):
XYZX|XY|Y(X|X)|(Y|Y)((X|X)|(Y|Y))|ZX|X(X|X)|YZ|Z((X|X)|Y)|(Z|Z)(((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z))
000110111101
001110111010
010101110110
011101010011
100011101101
101011001011
110001101101
111001001011

¬((((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z))):
XYZX|XY|Y(X|X)|(Y|Y)((X|X)|(Y|Y))|ZX|X(X|X)|YZ|Z((X|X)|Y)|(Z|Z)(((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z))¬((((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z)))
0001101111010
0011101110101
0101011101101
0111010100110
1000111011010
1010110010110
1100011011010
1110010010110

(((¬X)∧(¬Y))∧Z)∨(((¬X)∧Y)∧(¬Z)):
XYZ¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧(¬Y))∧Z)∨(((¬X)∧Y)∧(¬Z))
000111010100
001111110001
010100011111
011100011000
100010000100
101010000000
110000000100
111000000000

((((¬X)∧(¬Y))∧Z)∨(((¬X)∧Y)∧(¬Z)))≡(¬((((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z)))):
XYZ¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z¬X(¬X)∧Y¬Z((¬X)∧Y)∧(¬Z)(((¬X)∧(¬Y))∧Z)∨(((¬X)∧Y)∧(¬Z))X|XY|Y(X|X)|(Y|Y)((X|X)|(Y|Y))|ZX|X(X|X)|YZ|Z((X|X)|Y)|(Z|Z)(((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z))¬((((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z)))((((¬X)∧(¬Y))∧Z)∨(((¬X)∧Y)∧(¬Z)))≡(¬((((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z))))
00011101010011011110101
00111111000111011101011
01010001111110111011011
01110001100010101001101
10001000010001110110101
10101000000001100101101
11000000010000110110101
11100000000000100101101

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

XYZ¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z¬Z(¬X)∧Y((¬X)∧Y)∧(¬Z)X|XY|Y(X|X)|(Y|Y)((X|X)|(Y|Y))|ZZ|Z(X|X)|Y((X|X)|Y)|(Z|Z)(((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z))¬((((X|X)|(Y|Y))|Z)|(((X|X)|Y)|(Z|Z)))(((¬X)∧(¬Y))∧Z)∨(((¬X)∧Y)∧(¬Z))(¬X∧¬Y∧Z)∨(¬X∧Y∧¬Z)≡¬(((X|X)|(Y|Y)|Z)|((X|X)|Y|(Z|Z)))
000111010011011101001
001111100011010110111
010100011110111010111
011100001010100011001
100010010001111101001
101010000001100111001
110000010000111101001
111000000000100111001


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

Рейтинг@Mail.ru

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