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


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

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

Y→(Z∧(¬P)):
YZP¬PZ∧(¬P)Y→(Z∧(¬P))
000101
001001
010111
011001
100100
101000
110111
111000

¬X:
X¬X
01
10

¬Y:
Y¬Y
01
10

¬(Y→(Z∧(¬P))):
YZP¬PZ∧(¬P)Y→(Z∧(¬P))¬(Y→(Z∧(¬P)))
0001010
0010010
0101110
0110010
1001001
1010001
1101110
1110001

X∧Y:
XYX∧Y
000
010
100
111

(¬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

(¬(Y→(Z∧(¬P))))∨Z:
YZP¬PZ∧(¬P)Y→(Z∧(¬P))¬(Y→(Z∧(¬P)))(¬(Y→(Z∧(¬P))))∨Z
00010100
00100100
01011101
01100101
10010011
10100011
11011101
11100011

(((¬X)∨(¬Y))∨Z)⊕P:
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)⊕P
000011111
000111110
001011111
001111110
010010111
010110110
011010111
011110110
100001111
100101110
101001111
101101110
110000000
110100001
111000011
111100010

(X∧Y)←((¬(Y→(Z∧(¬P))))∨Z):
XYZPX∧Y¬PZ∧(¬P)Y→(Z∧(¬P))¬(Y→(Z∧(¬P)))(¬(Y→(Z∧(¬P))))∨Z(X∧Y)←((¬(Y→(Z∧(¬P))))∨Z)
00000101001
00010001001
00100111010
00110001010
01000100110
01010000110
01100111010
01110000110
10000101001
10010001001
10100111010
10110001010
11001100111
11011000111
11101111011
11111000111

((((¬X)∨(¬Y))∨Z)⊕P)≡((X∧Y)←((¬(Y→(Z∧(¬P))))∨Z)):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)⊕PX∧Y¬PZ∧(¬P)Y→(Z∧(¬P))¬(Y→(Z∧(¬P)))(¬(Y→(Z∧(¬P))))∨Z(X∧Y)←((¬(Y→(Z∧(¬P))))∨Z)((((¬X)∨(¬Y))∨Z)⊕P)≡((X∧Y)←((¬(Y→(Z∧(¬P))))∨Z))
00001111101010011
00011111000010010
00101111101110100
00111111000010101
01001011101001100
01011011000001101
01101011101110100
01111011000001101
10000111101010011
10010111000010010
10100111101110100
10110111000010101
11000000011001110
11010000110001111
11100001111110111
11110001010001110

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

XYZP¬PZ∧(¬P)Y→(Z∧(¬P))¬X¬Y¬(Y→(Z∧(¬P)))X∧Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(¬(Y→(Z∧(¬P))))∨Z(((¬X)∨(¬Y))∨Z)⊕P(X∧Y)←((¬(Y→(Z∧(¬P))))∨Z)¬X∨¬Y∨Z⊕P≡X∧Y←¬(Y→Z∧¬P)∨Z
00001011100110111
00010011100110010
00101111100111100
00110011100111001
01001001010111100
01010001010111001
01101111000111100
01110001010111001
10001010100110111
10010010100110010
10101110100111100
10110010100111001
11001000011001010
11010000011001111
11101110001011111
11110000011011010


Наши друзья

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

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

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

Рейтинг@Mail.ru

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