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


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

(¬Z)↓P:
ZP¬Z(¬Z)↓P
0010
0110
1001
1100

Y→((¬Z)↓P):
YZP¬Z(¬Z)↓PY→((¬Z)↓P)
000101
001101
010011
011001
100100
101100
110011
111000

¬X:
X¬X
01
10

¬Y:
Y¬Y
01
10

¬(Y→((¬Z)↓P)):
YZP¬Z(¬Z)↓PY→((¬Z)↓P)¬(Y→((¬Z)↓P))
0001010
0011010
0100110
0110010
1001001
1011001
1100110
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¬Z(¬Z)↓PY→((¬Z)↓P)¬(Y→((¬Z)↓P))(¬(Y→((¬Z)↓P)))∨Z
00010100
00110100
01001101
01100101
10010011
10110011
11001101
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¬Z(¬Z)↓PY→((¬Z)↓P)¬(Y→((¬Z)↓P))(¬(Y→((¬Z)↓P)))∨Z(X∧Y)←((¬(Y→((¬Z)↓P)))∨Z)
00000101001
00010101001
00100011010
00110001010
01000100110
01010100110
01100011010
01110000110
10000101001
10010101001
10100011010
10110001010
11001100111
11011100111
11101011011
11111000111

((((¬X)∨(¬Y))∨Z)⊕P)≡((X∧Y)←((¬(Y→((¬Z)↓P)))∨Z)):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)⊕PX∧Y¬Z(¬Z)↓PY→((¬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
00011111001010010
00101111100110100
00111111000010101
01001011101001100
01011011001001101
01101011100110100
01111011000001101
10000111101010011
10010111001010010
10100111100110100
10110111000010101
11000000011001110
11010000111001111
11100001110110111
11110001010001110

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

XYZP¬Z(¬Z)↓PY→((¬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
00011011100110010
00100111100111100
00110011100111001
01001001010111100
01011001010111001
01100111000111100
01110001010111001
10001010100110111
10011010100110010
10100110100111100
10110010100111001
11001000011001010
11011000011001111
11100110001011111
11110000011011010


Наши друзья

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

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

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

Рейтинг@Mail.ru

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