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


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

¬P:
P¬P
01
10

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

Y→((¬Z)∧(¬P)):
YZP¬Z¬P(¬Z)∧(¬P)Y→((¬Z)∧(¬P))
0001111
0011001
0100101
0110001
1001111
1011000
1100100
1110000

¬X:
X¬X
01
10

¬Y:
Y¬Y
01
10

¬(Y→((¬Z)∧(¬P))):
YZP¬Z¬P(¬Z)∧(¬P)Y→((¬Z)∧(¬P))¬(Y→((¬Z)∧(¬P)))
00011110
00110010
01001010
01100010
10011110
10110001
11001001
11100001

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¬Z¬P(¬Z)∧(¬P)Y→((¬Z)∧(¬P))¬(Y→((¬Z)∧(¬P)))(¬(Y→((¬Z)∧(¬P))))∨Z
000111100
001100100
010010101
011000101
100111100
101100011
110010011
111000011

(((¬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¬Z¬P(¬Z)∧(¬P)Y→((¬Z)∧(¬P))¬(Y→((¬Z)∧(¬P)))(¬(Y→((¬Z)∧(¬P))))∨Z(X∧Y)←((¬(Y→((¬Z)∧(¬P))))∨Z)
000001111001
000101001001
001000101010
001100001010
010001111001
010101000110
011000100110
011100000110
100001111001
100101001001
101000101010
101100001010
110011111001
110111000111
111010100111
111110000111

((((¬X)∨(¬Y))∨Z)⊕P)≡((X∧Y)←((¬(Y→((¬Z)∧(¬P))))∨Z)):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)⊕PX∧Y¬Z¬P(¬Z)∧(¬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))
000011111011110011
000111110010010010
001011111001010100
001111110000010101
010010111011110011
010110110010001101
011010111001001100
011110110000001101
100001111011110011
100101110010010010
101001111001010100
101101110000010101
110000000111110010
110100001110001111
111000011101001111
111100010100001110

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

XYZP¬Z¬P(¬Z)∧(¬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
000011111100110111
000110011100110010
001001011100111100
001100011100111001
010011111000110111
010110001010111001
011001001010111100
011100001010111001
100011110100110111
100110010100110010
101001010100111100
101100010100111001
110011110001000010
110110000011001111
111001000011011111
111100000011011010


Наши друзья

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

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

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

Рейтинг@Mail.ru

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