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


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

¬P:
P¬P
01
10

¬Z:
Z¬Z
01
10

P∧X:
PXP∧X
000
010
100
111

(P∧X)∧Z:
PXZP∧X(P∧X)∧Z
00000
00100
01000
01100
10000
10100
11010
11111

(P∧X)∧(¬Y):
PXYP∧X¬Y(P∧X)∧(¬Y)
000010
001000
010010
011000
100010
101000
110111
111100

(¬P)∧(¬Z):
PZ¬P¬Z(¬P)∧(¬Z)
00111
01100
10010
11000

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

(¬Z)∧X:
ZX¬Z(¬Z)∧X
0010
0111
1000
1100

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

(¬P)∧X:
PX¬P(¬P)∧X
0010
0111
1000
1100

((¬P)∧X)∧Y:
PXY¬P(¬P)∧X((¬P)∧X)∧Y
000100
001100
010110
011111
100000
101000
110000
111000

(¬Z)∧(¬P):
ZP¬Z¬P(¬Z)∧(¬P)
00111
01100
10010
11000

((¬Z)∧(¬P))∧Y:
ZPY¬Z¬P(¬Z)∧(¬P)((¬Z)∧(¬P))∧Y
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

((P∧X)∧Z)∨((P∧X)∧(¬Y)):
PXZYP∧X(P∧X)∧ZP∧X¬Y(P∧X)∧(¬Y)((P∧X)∧Z)∨((P∧X)∧(¬Y))
0000000100
0001000000
0010000100
0011000000
0100000100
0101000000
0110000100
0111000000
1000000100
1001000000
1010000100
1011000000
1100101111
1101101000
1110111111
1111111001

(((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)):
PXZYP∧X(P∧X)∧ZP∧X¬Y(P∧X)∧(¬Y)((P∧X)∧Z)∨((P∧X)∧(¬Y))¬P¬Z(¬P)∧(¬Z)(((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z))
00000001001111
00010000001111
00100001001000
00110000001000
01000001001111
01010000001111
01100001001000
01110000001000
10000001000100
10010000000100
10100001000000
10110000000000
11001011110101
11011010000100
11101111110001
11111110010001

((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)):
PXZYP∧X(P∧X)∧ZP∧X¬Y(P∧X)∧(¬Y)((P∧X)∧Z)∨((P∧X)∧(¬Y))¬P¬Z(¬P)∧(¬Z)(((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z))¬Z¬Y(¬Z)∧(¬Y)((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y))
000000010011111111
000100000011111001
001000010010000100
001100000010000000
010000010011111111
010100000011111001
011000010010000100
011100000010000000
100000010001001111
100100000001001000
101000010000000100
101100000000000000
110010111101011111
110110100001001000
111011111100010101
111111100100010001

(((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y):
PXZYP∧X(P∧X)∧ZP∧X¬Y(P∧X)∧(¬Y)((P∧X)∧Z)∨((P∧X)∧(¬Y))¬P¬Z(¬P)∧(¬Z)(((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z))¬Z¬Y(¬Z)∧(¬Y)((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y))¬Z(¬Z)∧X((¬Z)∧X)∧Y(((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y)
0000000100111111111001
0001000000111110011001
0010000100100001000000
0011000000100000000000
0100000100111111111101
0101000000111110011111
0110000100100001000000
0111000000100000000000
1000000100010011111001
1001000000010010001000
1010000100000001000000
1011000000000000000000
1100101111010111111101
1101101000010010001111
1110111111000101010001
1111111001000100010001

((((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y))∨(((¬P)∧X)∧Y):
PXZYP∧X(P∧X)∧ZP∧X¬Y(P∧X)∧(¬Y)((P∧X)∧Z)∨((P∧X)∧(¬Y))¬P¬Z(¬P)∧(¬Z)(((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z))¬Z¬Y(¬Z)∧(¬Y)((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y))¬Z(¬Z)∧X((¬Z)∧X)∧Y(((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y)¬P(¬P)∧X((¬P)∧X)∧Y((((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y))∨(((¬P)∧X)∧Y)
00000001001111111110011001
00010000001111100110011001
00100001001000010000001000
00110000001000000000001000
01000001001111111111011101
01010000001111100111111111
01100001001000010000001100
01110000001000000000001111
10000001000100111110010001
10010000000100100010000000
10100001000000010000000000
10110000000000000000000000
11001011110101111111010001
11011010000100100011110001
11101111110001010100010001
11111110010001000100010001

(((((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y))∨(((¬P)∧X)∧Y))∨(((¬Z)∧(¬P))∧Y):
PXZYP∧X(P∧X)∧ZP∧X¬Y(P∧X)∧(¬Y)((P∧X)∧Z)∨((P∧X)∧(¬Y))¬P¬Z(¬P)∧(¬Z)(((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z))¬Z¬Y(¬Z)∧(¬Y)((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y))¬Z(¬Z)∧X((¬Z)∧X)∧Y(((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y)¬P(¬P)∧X((¬P)∧X)∧Y((((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y))∨(((¬P)∧X)∧Y)¬Z¬P(¬Z)∧(¬P)((¬Z)∧(¬P))∧Y(((((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y))∨(((¬P)∧X)∧Y))∨(((¬Z)∧(¬P))∧Y)
0000000100111111111001100111101
0001000000111110011001100111111
0010000100100001000000100001000
0011000000100000000000100001000
0100000100111111111101110111101
0101000000111110011111111111111
0110000100100001000000110001000
0111000000100000000000111101001
1000000100010011111001000110001
1001000000010010001000000010000
1010000100000001000000000000000
1011000000000000000000000000000
1100101111010111111101000110001
1101101000010010001111000110001
1110111111000101010001000100001
1111111001000100010001000100001

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

PXZY¬Y¬P¬ZP∧X(P∧X)∧Z(P∧X)∧(¬Y)(¬P)∧(¬Z)(¬Z)∧(¬Y)(¬Z)∧X((¬Z)∧X)∧Y(¬P)∧X((¬P)∧X)∧Y(¬Z)∧(¬P)((¬Z)∧(¬P))∧Y((P∧X)∧Z)∨((P∧X)∧(¬Y))(((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z))((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y))(((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y)((((((P∧X)∧Z)∨((P∧X)∧(¬Y)))∨((¬P)∧(¬Z)))∨((¬Z)∧(¬Y)))∨(((¬Z)∧X)∧Y))∨(((¬P)∧X)∧Y)P∧X∧Z∨P∧X∧¬Y∨¬P∧¬Z∨¬Z∧¬Y∨¬Z∧X∧Y∨¬P∧X∧Y∨¬Z∧¬P∧Y
000011100011000010011111
000101100010000011011111
001011000000000000000000
001101000000000000000000
010011100011101010011111
010101100010111111011111
011011000000001000000000
011101000000001100000011
100010100001000000001111
100100100000000000000000
101010000000000000000000
101100000000000000000000
110010110101100000111111
110100110000110000000111
111010011100000000111111
111100011000000000111111


Наши друзья

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

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

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

Рейтинг@Mail.ru

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