Таблица истинности для функции ¬X∧Y∧Z∨X∧¬Y∧¬Z≡¬(¬(¬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)∧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)∧Y)∧Z)∨((X∧(¬Y))∧(¬Z)):
XYZ¬X(¬X)∧Y((¬X)∧Y)∧Z¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((¬X)∧Y)∧Z)∨((X∧(¬Y))∧(¬Z))
00010010100
00110010000
01011000100
01111100001
10000011111
10100011000
11000000100
11100000000

((((¬X)∧Y)∧Z)∨((X∧(¬Y))∧(¬Z)))≡(¬((¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z))))):
XYZ¬X(¬X)∧Y((¬X)∧Y)∧Z¬YX∧(¬Y)¬Z(X∧(¬Y))∧(¬Z)(((¬X)∧Y)∧Z)∨((X∧(¬Y))∧(¬Z))¬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)∧Y)∧Z)∨((X∧(¬Y))∧(¬Z)))≡(¬((¬(((¬X)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z)))))
00010010100100110101101
00110010000100110001101
01011000100110100101101
01111100001111000001011
10000011111000111110011
10100011000000111001101
11000000100000100101101
11100000000000100001101

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

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)∧Y)∧Z))∧(¬((X∧(¬Y))∧(¬Z))))(((¬X)∧Y)∧Z)∨((X∧(¬Y))∧(¬Z))¬X∧Y∧Z∨X∧¬Y∧¬Z≡¬(¬(¬X∧Y∧Z)∧¬(X∧¬Y∧¬Z))
0001001100111001
0011001000111001
0101100100111001
0111110000010111
1000001111100111
1010001010111001
1100000100111001
1110000000111001


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

Рейтинг@Mail.ru

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