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


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

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

((¬X)∧Y)∧Z:
XYZ¬X(¬X)∧Y((¬X)∧Y)∧Z
000100
001100
010110
011111
100000
101000
110000
111000

¬Y:
Y¬Y
01
10

¬Z:
Z¬Z
01
10

X∧(¬Y):
XY¬YX∧(¬Y)
0010
0100
1011
1100

(X∧(¬Y))∧(¬Z):
XYZ¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)
0001010
0011000
0100010
0110000
1001111
1011100
1100010
1110000

¬(((¬X)∧Y)∧Z):
XYZ¬X(¬X)∧Y((¬X)∧Y)∧Z¬(((¬X)∧Y)∧Z)
0001001
0011001
0101101
0111110
1000001
1010001
1100001
1110001

¬((X∧(¬Y))∧(¬Z)):
XYZ¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)¬((X∧(¬Y))∧(¬Z))
00010101
00110001
01000101
01100001
10011110
10111001
11000101
11100001

(¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z))):
XYZ¬X(¬X)∧Y((¬X)∧Y)∧Z¬(((¬X)∧Y)∧Z)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)¬((X∧(¬Y))∧(¬Z))(¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z)))
0001001101011
0011001100011
0101101001011
0111110000010
1000001111100
1010001110011
1100001001011
1110001000011

X|X:
XX|X
01
10

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

((X|X)|Y)|Z:
XYZX|X(X|X)|Y((X|X)|Y)|Z
000111
001110
010101
011101
100011
101010
110011
111010

(((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z))):
XYZX|X(X|X)|Y((X|X)|Y)|Z¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)¬((X∧(¬Y))∧(¬Z))(((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z)))
000111101011
001110100010
010101001011
011101000011
100011111100
101010110010
110011001011
111010000010

¬((¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z)))):
XYZ¬X(¬X)∧Y((¬X)∧Y)∧Z¬(((¬X)∧Y)∧Z)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)¬((X∧(¬Y))∧(¬Z))(¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z)))¬((¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z))))
00010011010110
00110011000110
01011010010110
01111100000101
10000011111001
10100011100110
11000010010110
11100010000110

¬((((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z)))):
XYZX|X(X|X)|Y((X|X)|Y)|Z¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)¬((X∧(¬Y))∧(¬Z))(((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z)))¬((((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z))))
0001111010110
0011101000101
0101010010110
0111010000110
1000111111001
1010101100101
1100110010110
1110100000101

(¬((¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z)))))≡(¬((((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z))))):
XYZ¬X(¬X)∧Y((¬X)∧Y)∧Z¬(((¬X)∧Y)∧Z)¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)¬((X∧(¬Y))∧(¬Z))(¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z)))¬((¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z))))X|X(X|X)|Y((X|X)|Y)|Z¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)¬((X∧(¬Y))∧(¬Z))(((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z)))¬((((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z))))(¬((¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z)))))≡(¬((((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z)))))
0001001101011011110101101
0011001100011011010001010
0101101001011010100101101
0111110000010110100001100
1000001111100101111110011
1010001110011001011001010
1100001001011001100101101
1110001000011001000001010

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

XYZ¬X(¬X)∧Y((¬X)∧Y)∧Z¬Y¬ZX∧(¬Y)(X∧(¬Y))∧(¬Z)¬(((¬X)∧Y)∧Z)¬((X∧(¬Y))∧(¬Z))(¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z)))X|X(X|X)|Y((X|X)|Y)|Z(((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z)))¬((¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z))))¬((((X|X)|Y)|Z)∧(¬((X∧(¬Y))∧(¬Z))))¬(¬(¬X∧Y∧Z)∧¬(X∧¬Y∧¬Z))≡¬(((X|X)|Y|Z)∧¬(X∧¬Y∧¬Z))
00010011001111111001
00110010001111100010
01011001001111011001
01111100000101011100
10000011111000110111
10100010101110100010
11000001001110111001
11100000001110100010


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

Рейтинг@Mail.ru

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