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


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

(¬Y)∧(¬P):
YP¬Y¬P(¬Y)∧(¬P)
00111
01100
10010
11000

Z∧(¬P):
ZP¬PZ∧(¬P)
0010
0100
1011
1100

(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P))
000001001111
000101001000
001000001111
001100001000
010001001111
010101001000
011000001111
011100001000
100001000100
100101000000
101000000100
101100000000
110011100100
110111110001
111010000100
111110000000

((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P))¬Y¬P(¬Y)∧(¬P)((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P))
0000010011111111
0001010010001000
0010000011111111
0011000010001000
0100010011110101
0101010010000000
0110000011110101
0111000010000000
1000010001001111
1001010000001000
1010000001001111
1011000000001000
1100111001000100
1101111100010001
1110100001000100
1111100000000000

(((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P))¬Y¬P(¬Y)∧(¬P)((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P))¬PZ∧(¬P)(((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P))
0000010011111111101
0001010010001000000
0010000011111111111
0011000010001000000
0100010011110101101
0101010010000000000
0110000011110101111
0111000010000000000
1000010001001111101
1001010000001000000
1010000001001111111
1011000000001000000
1100111001000100100
1101111100010001001
1110100001000100111
1111100000000000000

(¬Z)∧(¬Y):
ZY¬Z¬Y(¬Z)∧(¬Y)
00111
01100
10010
11000

((¬Z)∧(¬Y))∧(¬P):
ZYP¬Z¬Y(¬Z)∧(¬Y)¬P((¬Z)∧(¬Y))∧(¬P)
00011111
00111100
01010010
01110000
10001010
10101000
11000010
11100000

((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P)):
ZYP¬Z¬Y(¬Z)∧(¬Y)¬Z¬Y(¬Z)∧(¬Y)¬P((¬Z)∧(¬Y))∧(¬P)((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P))
000111111111
001111111001
010100100100
011100100000
100010010100
101010010000
110000000100
111000000000

(((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P)))∨(X∧Y):
ZYPX¬Z¬Y(¬Z)∧(¬Y)¬Z¬Y(¬Z)∧(¬Y)¬P((¬Z)∧(¬Y))∧(¬P)((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P))X∧Y(((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P)))∨(X∧Y)
000011111111101
000111111111101
001011111100101
001111111100101
010010010010000
010110010010011
011010010000000
011110010000011
100001001010000
100101001010000
101001001000000
101101001000000
110000000010000
110100000010011
111000000000000
111100000000011

((((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P)))∧((((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P)))∨(X∧Y)):
XYZPX∧Y¬Z(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P¬X¬P(¬X)∧(¬P)(((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P))¬Y¬P(¬Y)∧(¬P)((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P))¬PZ∧(¬P)(((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P))¬Z¬Y(¬Z)∧(¬Y)¬Z¬Y(¬Z)∧(¬Y)¬P((¬Z)∧(¬Y))∧(¬P)((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P))X∧Y(((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P)))∨(X∧Y)((((((X∧Y)∧(¬Z))∧P)∨((¬X)∧(¬P)))∨((¬Y)∧(¬P)))∨(Z∧(¬P)))∧((((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P)))∨(X∧Y))
0000010011111111101111111111011
0001010010001000000111111001010
0010000011111111111010010100000
0011000010001000000010010000000
0100010011110101101100100100000
0101010010000000000100100000000
0110000011110101111000000100000
0111000010000000000000000000000
1000010001001111101111111111011
1001010000001000000111111001010
1010000001001111111010010100000
1011000000001000000010010000000
1100111001000100100100100100110
1101111100010001001100100000111
1110100001000100111000000100111
1111100000000000000000000000110

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

XYZP¬Z¬X¬P¬YX∧Y(X∧Y)∧(¬Z)((X∧Y)∧(¬Z))∧P(¬X)∧(¬P)(¬Y)∧(¬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))(¬Z)∧(¬Y)((¬Z)∧(¬Y))∧(¬P)((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P))(((¬Z)∧(¬Y))∨(((¬Z)∧(¬Y))∧(¬P)))∨(X∧Y)(X∧Y∧¬Z∧P∨¬X∧¬P∨¬Y∧¬P∨Z∧¬P)∧(¬Z∧¬Y∨¬Z∧¬Y∧¬P∨X∧Y)
0000111100011011111111
0001110100000000010110
0010011100011111100000
0011010100000000000000
0100111000010011100000
0101110000000000000000
0110011000010111100000
0111010000000000000000
1000101100001001111111
1001100100000000010110
1010001100001101100000
1011000100000000000000
1100101011000000000010
1101100011100011100011
1110001010000100100011
1111000010000000000010


Наши друзья

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

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

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

Рейтинг@Mail.ru

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