Для функции P∧X∧Z∨P∧X∧¬Y∨¬P∧¬Z∨¬Z∧¬Y∨¬Z∧X∧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)∧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

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

PXZY¬Y¬P¬ZP∧X(P∧X)∧Z(P∧X)∧(¬Y)(¬P)∧(¬Z)(¬Z)∧(¬Y)(¬Z)∧X((¬Z)∧X)∧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
000011100011000111
000101100010000111
001011000000000000
001101000000000000
010011100011100111
010101100010110111
011011000000000000
011101000000000000
100010100001000011
100100100000000000
101010000000000000
101100000000000000
110010110101101111
110100110000110001
111010011100001111
111100011000001111


Наши друзья

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

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

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

Рейтинг@Mail.ru

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