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


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

¬Y:
Y¬Y
01
10

¬Z:
Z¬Z
01
10

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

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):
YZP¬Y¬Z(¬Z)↓P(¬Y)∨((¬Z)↓P)
0001101
0011101
0101011
0111001
1000100
1010100
1100011
1110000

((¬Y)∨((¬Z)↓P))∨Z:
YZP¬Y¬Z(¬Z)↓P(¬Y)∨((¬Z)↓P)((¬Y)∨((¬Z)↓P))∨Z
00011011
00111011
01010111
01110011
10001000
10101000
11000111
11100001

(((¬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¬Y¬Z(¬Z)↓P(¬Y)∨((¬Z)↓P)((¬Y)∨((¬Z)↓P))∨Z(X∧Y)←(((¬Y)∨((¬Z)↓P))∨Z)
00000110110
00010110110
00100101110
00110100110
01000010001
01010010001
01100001110
01110000010
10000110110
10010110110
10100101110
10110100110
11001010001
11011010001
11101001111
11111000011

((((¬X)∨(¬Y))∨Z)⊕P)≡((X∧Y)←(((¬Y)∨((¬Z)↓P))∨Z)):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)⊕PX∧Y¬Y¬Z(¬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))
00001111101101100
00011111001101101
00101111101011100
00111111001001101
01001011100100011
01011011000100010
01101011100011100
01111011000000101
10000111101101100
10010111001101101
10100111101011100
10110111001001101
11000000010100010
11010000110100011
11100001110011111
11110001010000110

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

XYZP¬X¬Y¬Z(¬Z)↓PX∧Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(¬Y)∨((¬Z)↓P)((¬Y)∨((¬Z)↓P))∨Z(((¬X)∨(¬Y))∨Z)⊕P(X∧Y)←(((¬Y)∨((¬Z)↓P))∨Z)¬X∨¬Y∨Z⊕P≡X∧Y←¬Y∨¬Z↓P∨Z
0000111001111100
0001111001111001
0010110101111100
0011110001111001
0100101001100111
0101101001100010
0110100101111100
0111100001101001
1000011001111100
1001011001111001
1010010101111100
1011010001111001
1100001010000010
1101001010000111
1110000110111111
1111000010101010


Наши друзья

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

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

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

Рейтинг@Mail.ru

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