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


Промежуточные таблицы истинности:
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

Y|Y:
YY|Y
01
10

Z|Z:
ZZ|Z
01
10

X|(Y|Y):
XYY|YX|(Y|Y)
0011
0101
1010
1101

(X|(Y|Y))|(Z|Z):
XYZY|YX|(Y|Y)Z|Z(X|(Y|Y))|(Z|Z)
0001110
0011101
0100110
0110101
1001011
1011001
1100110
1110101

(X|(Y|Y))|W:
XYWY|YX|(Y|Y)(X|(Y|Y))|W
000111
001110
010011
011010
100101
101101
110011
111010

(X|(Y|Y))|Z:
XYZY|YX|(Y|Y)(X|(Y|Y))|Z
000111
001110
010011
011010
100101
101101
110011
111010

¬((X|(Y|Y))|W):
XYWY|YX|(Y|Y)(X|(Y|Y))|W¬((X|(Y|Y))|W)
0001110
0011101
0100110
0110101
1001010
1011010
1100110
1110101

(¬((X|(Y|Y))|W))|((X|(Y|Y))|Z):
XYWZY|YX|(Y|Y)(X|(Y|Y))|W¬((X|(Y|Y))|W)Y|YX|(Y|Y)(X|(Y|Y))|Z(¬((X|(Y|Y))|W))|((X|(Y|Y))|Z)
000011101111
000111101101
001011011110
001111011101
010001100111
010101100101
011001010110
011101010101
100010101011
100110101011
101010101011
101110101011
110001100111
110101100101
111001010110
111101010101

(X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z)):
XYWZY|YX|(Y|Y)Y|YX|(Y|Y)(X|(Y|Y))|W¬((X|(Y|Y))|W)Y|YX|(Y|Y)(X|(Y|Y))|Z(¬((X|(Y|Y))|W))|((X|(Y|Y))|Z)(X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z))
000011111011111
000111111011011
001011110111101
001111110111011
010001011001111
010101011001011
011001010101101
011101010101011
100010101010111
100110101010111
101010101010111
101110101010111
110001011001111
110101011001011
111001010101101
111101010101011

¬(((X|X)|Y)|Z):
XYZX|X(X|X)|Y((X|X)|Y)|Z¬(((X|X)|Y)|Z)
0001110
0011101
0101010
0111010
1000110
1010101
1100110
1110101

¬((X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z))):
XYWZY|YX|(Y|Y)Y|YX|(Y|Y)(X|(Y|Y))|W¬((X|(Y|Y))|W)Y|YX|(Y|Y)(X|(Y|Y))|Z(¬((X|(Y|Y))|W))|((X|(Y|Y))|Z)(X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z))¬((X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z)))
0000111110111110
0001111110110110
0010111101111010
0011111101110110
0100010110011110
0101010110010110
0110010101011010
0111010101010110
1000101010101110
1001101010101110
1010101010101110
1011101010101110
1100010110011110
1101010110010110
1110010101011010
1111010101010110

(¬(((X|X)|Y)|Z))|((X|(Y|Y))|(Z|Z)):
XYZX|X(X|X)|Y((X|X)|Y)|Z¬(((X|X)|Y)|Z)Y|YX|(Y|Y)Z|Z(X|(Y|Y))|(Z|Z)(¬(((X|X)|Y)|Z))|((X|(Y|Y))|(Z|Z))
000111011101
001110111010
010101001101
011101001011
100011010111
101010110010
110011001101
111010101010

((¬(((X|X)|Y)|Z))|((X|(Y|Y))|(Z|Z)))∨(¬((X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z)))):
XYZWX|X(X|X)|Y((X|X)|Y)|Z¬(((X|X)|Y)|Z)Y|YX|(Y|Y)Z|Z(X|(Y|Y))|(Z|Z)(¬(((X|X)|Y)|Z))|((X|(Y|Y))|(Z|Z))Y|YX|(Y|Y)Y|YX|(Y|Y)(X|(Y|Y))|W¬((X|(Y|Y))|W)Y|YX|(Y|Y)(X|(Y|Y))|Z(¬((X|(Y|Y))|W))|((X|(Y|Y))|Z)(X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z))¬((X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z)))((¬(((X|X)|Y)|Z))|((X|(Y|Y))|(Z|Z)))∨(¬((X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z))))
00001110111011111101111101
00011110111011111011110101
00101101110101111101101100
00111101110101111011101100
01001010011010101100111101
01011010011010101010110101
01101010010110101100101101
01111010010110101010101101
10000110101111010101011101
10010110101111010101011101
10100101100101010101011100
10110101100101010101011100
11000110011010101100111101
11010110011010101010110101
11100101010100101100101100
11110101010100101010101100

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

XYZWX|X(X|X)|Y((X|X)|Y)|ZY|YZ|ZX|(Y|Y)(X|(Y|Y))|(Z|Z)(X|(Y|Y))|W(X|(Y|Y))|Z¬((X|(Y|Y))|W)(¬((X|(Y|Y))|W))|((X|(Y|Y))|Z)(X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z))¬(((X|X)|Y)|Z)¬((X|(Y|Y))∨((¬((X|(Y|Y))|W))|((X|(Y|Y))|Z)))(¬(((X|X)|Y)|Z))|((X|(Y|Y))|(Z|Z))¬((X|X)|Y|Z)|(X|(Y|Y)|(Z|Z))∨¬((X|(Y|Y))∨¬(X|(Y|Y)|W)|(X|(Y|Y)|Z))
00001111110110110011
00011111110011010011
00101101011100111000
00111101011001111000
01001010110110110011
01011010110011010011
01101010011100110011
01111010011001110011
10000111101110110011
10010111101110110011
10100101001110111000
10110101001110111000
11000110110110110011
11010110110011010011
11100100011100111000
11110100011001111000

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

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

Рейтинг@Mail.ru

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