Для функции (X∧Y∧¬Z∧P∨¬X∧¬P∧¬Z∨¬X∧¬Y∧¬Z∧¬P∧¬Y∧¬Z∧¬P∨X∧Y∧Z∧¬P)∨((¬X∨¬Y∨Z∨¬P)∧(X∨P)∧(Y∨P)∧(¬Z∨P)):


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

¬X:
X¬X
01
10

¬P:
P¬P
01
10

¬Y:
Y¬Y
01
10

X∧Y:
XYX∧Y
000
010
100
111

(X∧Y)∧(¬Z):
XYZX∧Y¬Z(X∧Y)∧(¬Z)
000010
001000
010010
011000
100010
101000
110111
111100

((X∧Y)∧(¬Z))∧P:
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P
00000100
00010100
00100000
00110000
01000100
01010100
01100000
01110000
10000100
10010100
10100000
10110000
11001110
11011111
11101000
11111000

(¬X)∧(¬P):
XP¬X¬P(¬X)∧(¬P)
00111
01100
10010
11000

((¬X)∧(¬P))∧(¬Z):
XPZ¬X¬P(¬X)∧(¬P)¬Z((¬X)∧(¬P))∧(¬Z)
00011111
00111100
01010010
01110000
10001010
10101000
11000010
11100000

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

((¬X)∧(¬Y))∧(¬Z):
XYZ¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)
00011111
00111100
01010010
01110000
10001010
10101000
11000010
11100000

(((¬X)∧(¬Y))∧(¬Z))∧(¬P):
XYZP¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)
00001111111
00011111100
00101110010
00111110000
01001001010
01011001000
01101000010
01111000000
10000101010
10010101000
10100100010
10110100000
11000001010
11010001000
11100000010
11110000000

((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y):
XYZP¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)¬Y((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y)
0000111111111
0001111110010
0010111001010
0011111000010
0100100101000
0101100100000
0110100001000
0111100000000
1000010101010
1001010100010
1010010001010
1011010000010
1100000101000
1101000100000
1110000001000
1111000000000

(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z):
XYZP¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)¬Y((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y)¬Z(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z)
000011111111111
000111111001010
001011100101000
001111100001000
010010010100010
010110010000010
011010000100000
011110000000000
100001010101010
100101010001010
101001000101000
101101000001000
110000010100010
110100010000010
111000000100000
111100000000000

((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P):
XYZP¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)¬Y((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y)¬Z(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z)¬P((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)
00001111111111111
00011111100101000
00101110010100010
00111110000100000
01001001010001010
01011001000001000
01101000010000010
01111000000000000
10000101010101010
10010101000101000
10100100010100010
10110100000100000
11000001010001010
11010001000001000
11100000010000010
11110000000000000

(X∧Y)∧Z:
XYZX∧Y(X∧Y)∧Z
00000
00100
01000
01100
10000
10100
11010
11111

((X∧Y)∧Z)∧(¬P):
XYZPX∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)
00000010
00010000
00100010
00110000
01000010
01010000
01100010
01110000
10000010
10010000
10100010
10110000
11001010
11011000
11101111
11111100

(((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)¬Z((¬X)∧(¬P))∧(¬Z)(((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z))
00000100111111
00010100100100
00100000111000
00110000100000
01000100111111
01010100100100
01100000111000
01110000100000
10000100010100
10010100000100
10100000010000
10110000000000
11001110010100
11011111000101
11101000010000
11111000000000

((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)¬Z((¬X)∧(¬P))∧(¬Z)(((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z))¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)¬Y((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y)¬Z(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z)¬P((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P))
0000010011111111111111111111
0001010010010011111001010000
0010000011100011100101000100
0011000010000011100001000000
0100010011111110010100010101
0101010010010010010000010000
0110000011100010000100000100
0111000010000010000000000000
1000010001010001010101010100
1001010000010001010001010000
1010000001000001000101000100
1011000000000001000001000000
1100111001010000010100010100
1101111100010100010000010001
1110100001000000000100000100
1111100000000000000000000000

(((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)¬Z((¬X)∧(¬P))∧(¬Z)(((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z))¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)¬Y((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y)¬Z(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z)¬P((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P))X∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)(((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P))
000001001111111111111111111100101
000101001001001111100101000000000
001000001110001110010100010000100
001100001000001110000100000000000
010001001111111001010001010100101
010101001001001001000001000000000
011000001110001000010000010000100
011100001000001000000000000000000
100001000101000101010101010000100
100101000001000101000101000000000
101000000100000100010100010000100
101100000000000100000100000000000
110011100101000001010001010010100
110111110001010001000001000110001
111010000100000000010000010011111
111110000000000000000000000011000

(¬X)∨(¬Y):
XY¬X¬Y(¬X)∨(¬Y)
00111
01101
10011
11000

((¬X)∨(¬Y))∨Z:
XYZ¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z
0001111
0011111
0101011
0111011
1000111
1010111
1100000
1110001

(((¬X)∨(¬Y))∨Z)∨(¬P):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z¬P(((¬X)∨(¬Y))∨Z)∨(¬P)
0000111111
0001111101
0010111111
0011111101
0100101111
0101101101
0110101111
0111101101
1000011111
1001011101
1010011111
1011011101
1100000011
1101000000
1110000111
1111000101

X∨P:
XPX∨P
000
011
101
111

Y∨P:
YPY∨P
000
011
101
111

(¬Z)∨P:
ZP¬Z(¬Z)∨P
0011
0111
1000
1101

((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z¬P(((¬X)∨(¬Y))∨Z)∨(¬P)X∨P((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P)
000011111100
000111110111
001011111100
001111110111
010010111100
010110110111
011010111100
011110110111
100001111111
100101110111
101001111111
101101110111
110000001111
110100000010
111000011111
111100010111

(((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z¬P(((¬X)∨(¬Y))∨Z)∨(¬P)X∨P((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P)Y∨P(((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P)
00001111110000
00011111011111
00101111110000
00111111011111
01001011110010
01011011011111
01101011110010
01111011011111
10000111111100
10010111011111
10100111111100
10110111011111
11000000111111
11010000001010
11100001111111
11110001011111

((((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P))∧((¬Z)∨P):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z¬P(((¬X)∨(¬Y))∨Z)∨(¬P)X∨P((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P)Y∨P(((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P)¬Z(¬Z)∨P((((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P))∧((¬Z)∨P)
00001111110000110
00011111011111111
00101111110000000
00111111011111011
01001011110010110
01011011011111111
01101011110010000
01111011011111011
10000111111100110
10010111011111111
10100111111100000
10110111011111011
11000000111111111
11010000001010110
11100001111111000
11110001011111011

((((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P)))∨(((((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P))∧((¬Z)∨P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)¬Z((¬X)∧(¬P))∧(¬Z)(((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z))¬X¬Y(¬X)∧(¬Y)¬Z((¬X)∧(¬Y))∧(¬Z)¬P(((¬X)∧(¬Y))∧(¬Z))∧(¬P)¬Y((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y)¬Z(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z)¬P((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P))X∧Y(X∧Y)∧Z¬P((X∧Y)∧Z)∧(¬P)(((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P))¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z¬P(((¬X)∨(¬Y))∨Z)∨(¬P)X∨P((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P)Y∨P(((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P)¬Z(¬Z)∨P((((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P))∧((¬Z)∨P)((((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P)))∨(((((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P))∧((¬Z)∨P))
00000100111111111111111111110010111111100001101
00010100100100111110010100000000011110111111111
00100000111000111001010001000010011111100000000
00110000100000111000010000000000011110111110111
01000100111111100101000101010010110111100101101
01010100100100100100000100000000010110111111111
01100000111000100001000001000010010111100100000
01110000100000100000000000000000010110111110111
10000100010100010101010101000010001111111001100
10010100000100010100010100000000001110111111111
10100000010000010001010001000010001111111000000
10110000000000010000010000000000001110111110111
11001110010100000101000101001010000001111111111
11011111000101000100000100011000100000010101101
11101000010000000001000001001111100011111110001
11111000000000000000000000001100000010111110111

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

XYZP¬Z¬X¬P¬YX∧Y(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P(¬X)∧(¬P)((¬X)∧(¬P))∧(¬Z)(¬X)∧(¬Y)((¬X)∧(¬Y))∧(¬Z)(((¬X)∧(¬Y))∧(¬Z))∧(¬P)((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y)(((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z)((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)(X∧Y)∧Z((X∧Y)∧Z)∧(¬P)(((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z))((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P))(((((X∧Y)∧(¬Z))∧P)∨(((¬X)∧(¬P))∧(¬Z)))∨(((((((¬X)∧(¬Y))∧(¬Z))∧(¬P))∧(¬Y))∧(¬Z))∧(¬P)))∨(((X∧Y)∧Z)∧(¬P))(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)∨(¬P)X∨PY∨P(¬Z)∨P((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P)(((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P)((((((¬X)∨(¬Y))∨Z)∨(¬P))∧(X∨P))∧(Y∨P))∧((¬Z)∨P)(X∧Y∧¬Z∧P∨¬X∧¬P∧¬Z∨¬X∧¬Y∧¬Z∧¬P∧¬Y∧¬Z∧¬P∨X∧Y∧Z∧¬P)∨((¬X∨¬Y∨Z∨¬P)∧(X∨P)∧(Y∨P)∧(¬Z∨P))
0000111100011111111001111110010001
0001110100000110000000001111111111
0010011100010100000000001110000000
0011010100000100000000001111111111
0100111000011000000001111110110001
0101110000000000000000001111111111
0110011000010000000000001110100000
0111010000000000000000001111111111
1000101100000000000000001111011000
1001100100000000000000001111111111
1010001100000000000000001111001000
1011000100000000000000001111111111
1100101011000000000000000011111111
1101100011100000000001110001110001
1110001010000000000110010111101101
1111000010000000000100000111111111


Наши друзья

Качественное решение задач курсовых работ, РГЗ по техническим предметам.
botaniks.ru

Это интересно...

Наши контакты

Рейтинг@Mail.ru

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