Для функции 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

¬(Y→((¬Z)↓P)):
YZP¬Z(¬Z)↓PY→((¬Z)↓P)¬(Y→((¬Z)↓P))
0001010
0011010
0100110
0110010
1001001
1011001
1100110
1110001

X|Y:
XYX|Y
001
011
101
110

X∧Y:
XYX∧Y
000
010
100
111

(X|Y)∨Z:
XYZX|Y(X|Y)∨Z
00011
00111
01011
01111
10011
10111
11000
11101

(¬(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:
XYZPX|Y(X|Y)∨Z((X|Y)∨Z)⊕P
0000111
0001110
0010111
0011110
0100111
0101110
0110111
0111110
1000111
1001110
1010111
1011110
1100000
1101001
1110011
1111010

(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)):
XYZPX|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))
000011101010011
000111001010010
001011100110100
001111000010101
010011101001100
010111001001101
011011100110100
011111000001101
100011101010011
100111001010010
101011100110100
101111000010101
110000011001110
110100111001111
111001110110111
111101010001110

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

XYZP¬Z(¬Z)↓PY→((¬Z)↓P)¬(Y→((¬Z)↓P))X|YX∧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
000010101010111
000110101010010
001001101011100
001100101011001
010010011011100
010110011011001
011001101011100
011100011011001
100010101010111
100110101010010
101001101011100
101100101011001
110010010101010
110110010101111
111001100111111
111100010111010


Наши друзья

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

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

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

Рейтинг@Mail.ru

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