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


Промежуточные таблицы истинности:
X∨Y:
XYX∨Y
000
011
101
111

¬Y:
Y¬Y
01
10

¬P:
P¬P
01
10

¬X:
X¬X
01
10

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

(¬Y)∨(¬P):
YP¬Y¬P(¬Y)∨(¬P)
00111
01101
10011
11000

((¬Y)∨(¬P))∨((¬X)∧(¬Y)):
YPX¬Y¬P(¬Y)∨(¬P)¬X¬Y(¬X)∧(¬Y)((¬Y)∨(¬P))∨((¬X)∧(¬Y))
0001111111
0011110101
0101011111
0111010101
1000111001
1010110001
1100001000
1110000000

(¬P)∨(¬X):
PX¬P¬X(¬P)∨(¬X)
00111
01101
10011
11000

Y∧P:
YPY∧P
000
010
100
111

(Y∧P)∧(X∨Y):
YPXY∧PX∨Y(Y∧P)∧(X∨Y)
000000
001010
010000
011010
100010
101010
110111
111111

((Y∧P)∧(X∨Y))∧P:
YPXY∧PX∨Y(Y∧P)∧(X∨Y)((Y∧P)∧(X∨Y))∧P
0000000
0010100
0100000
0110100
1000100
1010100
1101111
1111111

(((Y∧P)∧(X∨Y))∧P)∧X:
YPXY∧PX∨Y(Y∧P)∧(X∨Y)((Y∧P)∧(X∨Y))∧P(((Y∧P)∧(X∨Y))∧P)∧X
00000000
00101000
01000000
01101000
10001000
10101000
11011110
11111111

(((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X)):
YPX¬Y¬P(¬Y)∨(¬P)¬X¬Y(¬X)∧(¬Y)((¬Y)∨(¬P))∨((¬X)∧(¬Y))¬P¬X(¬P)∨(¬X)(((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X))
00011111111111
00111101011011
01010111110111
01110101010000
10001110011111
10101100011011
11000010000110
11100000000000

((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X))):
YPXY∧PX∨Y(Y∧P)∧(X∨Y)((Y∧P)∧(X∨Y))∧P(((Y∧P)∧(X∨Y))∧P)∧X¬Y¬P(¬Y)∨(¬P)¬X¬Y(¬X)∧(¬Y)((¬Y)∨(¬P))∨((¬X)∧(¬Y))¬P¬X(¬P)∨(¬X)(((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X))((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X)))
00000000111111111111
00101000111010110111
01000000101111101111
01101000101010100000
10001000011100111111
10101000011000110111
11011110000100001100
11111111000000000001

P∧X:
PXP∧X
000
010
100
111

Z←(((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X)))):
ZYPXY∧PX∨Y(Y∧P)∧(X∨Y)((Y∧P)∧(X∨Y))∧P(((Y∧P)∧(X∨Y))∧P)∧X¬Y¬P(¬Y)∨(¬P)¬X¬Y(¬X)∧(¬Y)((¬Y)∨(¬P))∨((¬X)∧(¬Y))¬P¬X(¬P)∨(¬X)(((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X))((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X)))Z←(((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X))))
0000000001111111111110
0001010001110101101110
0010000001011111011110
0011010001010101000001
0100010000111001111110
0101010000110001101110
0110111100001000011001
0111111110000000000010
1000000001111111111111
1001010001110101101111
1010000001011111011111
1011010001010101000001
1100010000111001111111
1101010000110001101111
1110111100001000011001
1111111110000000000011

(P∧X)≡(Z←(((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X))))):
PXZYP∧XY∧PX∨Y(Y∧P)∧(X∨Y)((Y∧P)∧(X∨Y))∧P(((Y∧P)∧(X∨Y))∧P)∧X¬Y¬P(¬Y)∨(¬P)¬X¬Y(¬X)∧(¬Y)((¬Y)∨(¬P))∨((¬X)∧(¬Y))¬P¬X(¬P)∨(¬X)(((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X))((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X)))Z←(((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X))))(P∧X)≡(Z←(((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X)))))
000000000011111111111101
000100100001110011111101
001000000011111111111110
001100100001110011111110
010000100011101011011101
010100100001100011011101
011000100011101011011110
011100100001100011011110
100000000010111110111101
100101111000010000110010
101000000010111110111110
101101111000010000110010
110010100010101010000011
110111111100000000000100
111010100010101010000011
111111111100000000000111

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

PXZYX∨Y¬Y¬P¬X(¬X)∧(¬Y)(¬Y)∨(¬P)((¬Y)∨(¬P))∨((¬X)∧(¬Y))(¬P)∨(¬X)Y∧P(Y∧P)∧(X∨Y)((Y∧P)∧(X∨Y))∧P(((Y∧P)∧(X∨Y))∧P)∧X(((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X))((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X)))P∧XZ←(((((Y∧P)∧(X∨Y))∧P)∧X)∨((((¬Y)∨(¬P))∨((¬X)∧(¬Y)))∧((¬P)∨(¬X))))P∧X≡Z←(Y∧P∧(X∨Y)∧P∧X∨(¬Y∨¬P∨¬X∧¬Y)∧(¬P∨¬X))
000001111111000011001
000110110111000011001
001001111111000011010
001110110111000011010
010011100111000011001
010110100111000011001
011011100111000011010
011110100111000011010
100001011111000011001
100110010001111000010
101001011111000011010
101110010001111000010
110011000110000000111
110110000000111101100
111011000110000000111
111110000000111101111


Наши друзья

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

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

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

Рейтинг@Mail.ru

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