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


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

¬Y:
Y¬Y
01
10

(¬X)∨(¬Y):
XY¬X¬Y(¬X)∨(¬Y)
00111
01101
10011
11000

¬P:
P¬P
01
10

(¬Y)∨(¬P):
YP¬Y¬P(¬Y)∨(¬P)
00111
01101
10011
11000

¬((¬Y)∨(¬P)):
YP¬Y¬P(¬Y)∨(¬P)¬((¬Y)∨(¬P))
001110
011010
100110
110001

X∧Y:
XYX∧Y
000
010
100
111

(¬((¬Y)∨(¬P)))∧Z:
YPZ¬Y¬P(¬Y)∨(¬P)¬((¬Y)∨(¬P))(¬((¬Y)∨(¬P)))∧Z
00011100
00111100
01010100
01110100
10001100
10101100
11000010
11100011

((¬X)∨(¬Y))∨Z:
XYZ¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z
0001111
0011111
0101011
0111011
1000111
1010111
1100000
1110001

(((¬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)∨(¬P)))∧Z):
XYPZX∧Y¬Y¬P(¬Y)∨(¬P)¬((¬Y)∨(¬P))(¬((¬Y)∨(¬P)))∧Z(X∧Y)←((¬((¬Y)∨(¬P)))∧Z)
00000111001
00010111001
00100101001
00110101001
01000011001
01010011001
01100000101
01110000110
10000111001
10010111001
10100101001
10110101001
11001011001
11011011001
11101000101
11111000111

((((¬X)∨(¬Y))∨Z)⊕P)≡((X∧Y)←((¬((¬Y)∨(¬P)))∧Z)):
XYZP¬X¬Y(¬X)∨(¬Y)((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)⊕PX∧Y¬Y¬P(¬Y)∨(¬P)¬((¬Y)∨(¬P))(¬((¬Y)∨(¬P)))∧Z(X∧Y)←((¬((¬Y)∨(¬P)))∧Z)((((¬X)∨(¬Y))∨Z)⊕P)≡((X∧Y)←((¬((¬Y)∨(¬P)))∧Z))
00001111101110011
00011111001010010
00101111101110011
00111111001010010
01001011100110011
01011011000001010
01101011100110011
01111011000001101
10000111101110011
10010111001010010
10100111101110011
10110111001010010
11000000010110010
11010000110001011
11100001110110011
11110001010001110

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

XYZP¬X¬Y(¬X)∨(¬Y)¬P(¬Y)∨(¬P)¬((¬Y)∨(¬P))X∧Y(¬((¬Y)∨(¬P)))∧Z((¬X)∨(¬Y))∨Z(((¬X)∨(¬Y))∨Z)⊕P(X∧Y)←((¬((¬Y)∨(¬P)))∧Z)(¬X∨¬Y)∨Z⊕P≡X∧Y←¬(¬Y∨¬P)∧Z
0000111110001111
0001111010001010
0010111110001111
0011111010001010
0100101110001111
0101101001001010
0110101110001111
0111101001011001
1000011110001111
1001011010001010
1010011110001111
1011011010001010
1100000110100010
1101000001100111
1110000110101111
1111000001111010


Наши друзья

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

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

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

Рейтинг@Mail.ru

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