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


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

¬Y:
Y¬Y
01
10

(¬X)∧Z:
XZ¬X(¬X)∧Z
0010
0111
1000
1100

((¬X)∧Z)∧P:
XZP¬X(¬X)∧Z((¬X)∧Z)∧P
000100
001100
010110
011111
100000
101000
110000
111000

(¬X)∧(¬Y):
XY¬X¬Y(¬X)∧(¬Y)
00111
01100
10010
11000

((¬X)∧(¬Y))∧Z:
XYZ¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z
0001110
0011111
0101000
0111000
1000100
1010100
1100000
1110000

(((¬X)∧(¬Y))∧Z)∧P:
XYZP¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P
000011100
000111100
001011110
001111111
010010000
010110000
011010000
011110000
100001000
100101000
101001000
101101000
110000000
110100000
111000000
111100000

(¬X)∧Y:
XY¬X(¬X)∧Y
0010
0111
1000
1100

((¬X)∧Y)∧Z:
XYZ¬X(¬X)∧Y((¬X)∧Y)∧Z
000100
001100
010110
011111
100000
101000
110000
111000

(((¬X)∧Y)∧Z)∧P:
XYZP¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P
00001000
00011000
00101000
00111000
01001100
01011100
01101110
01111111
10000000
10010000
10100000
10110000
11000000
11010000
11100000
11110000

((¬X)∧Y)∧P:
XYP¬X(¬X)∧Y((¬X)∧Y)∧P
000100
001100
010110
011111
100000
101000
110000
111000

(¬Y)∧Z:
YZ¬Y(¬Y)∧Z
0010
0111
1000
1100

((¬Y)∧Z)∧P:
YZP¬Y(¬Y)∧Z((¬Y)∧Z)∧P
000100
001100
010110
011111
100000
101000
110000
111000

(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P):
XZPY¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)
0000100111000
0001100100000
0010100111000
0011100100000
0100110111100
0101110100000
0110111111111
0111111100001
1000000010000
1001000000000
1010000010000
1011000000000
1100000010000
1101000000000
1110000010000
1111000000000

((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P):
XZPY¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)
000010011100010000
000110010000011000
001010011100010000
001110010000011000
010011011110010000
010111010000011100
011011111111110001
011111110000111111
100000001000000000
100100000000000000
101000001000000000
101100000000000000
110000001000000000
110100000000000000
111000001000000000
111100000000000000

(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P):
XZPY¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧P(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P)
0000100111000100001000
0001100100000110001000
0010100111000100001000
0011100100000110001000
0100110111100100001100
0101110100000111001100
0110111111111100011111
0111111100001111111111
1000000010000000000000
1001000000000000000000
1010000010000000000000
1011000000000000000000
1100000010000000000000
1101000000000000000000
1110000010000000000000
1111000000000000000000

((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P):
XZPY¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧P(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P)
00001001110001000010001000
00011001000001100010001100
00101001110001000010001000
00111001000001100010001111
01001101111001000011001000
01011101000001110011001100
01101111111111000111111001
01111111000011111111111111
10000000100000000000000000
10010000000000000000000000
10100000100000000000000000
10110000000000000000000000
11000000100000000000000000
11010000000000000000000000
11100000100000000000000000
11110000000000000000000000

(((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P))∨(((¬Y)∧Z)∧P):
XZPY¬X(¬X)∧Z((¬X)∧Z)∧P¬X¬Y(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)¬X(¬X)∧Z((¬X)∧Z)∧P(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P)¬X(¬X)∧Y((¬X)∧Y)∧P((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P)¬Y(¬Y)∧Z((¬Y)∧Z)∧P(((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P))∨(((¬Y)∧Z)∧P)
000010011100010000100010001000
000110010000011000100011000000
001010011100010000100010001000
001110010000011000100011110001
010011011110010000110010001100
010111010000011100110011000000
011011111111110001111110011111
011111110000111111111111110001
100000001000000000000000001000
100100000000000000000000000000
101000001000000000000000001000
101100000000000000000000000000
110000001000000000000000001100
110100000000000000000000000000
111000001000000000000000001111
111100000000000000000000000000

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

XZPY¬X¬Y(¬X)∧Z((¬X)∧Z)∧P(¬X)∧(¬Y)((¬X)∧(¬Y))∧Z(((¬X)∧(¬Y))∧Z)∧P(¬X)∧Y((¬X)∧Y)∧Z(((¬X)∧Y)∧Z)∧P((¬X)∧Y)∧P(¬Y)∧Z((¬Y)∧Z)∧P(((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P)((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P)(((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P)((((((¬X)∧Z)∧P)∨((((¬X)∧(¬Y))∧Z)∧P))∨((((¬X)∧Y)∧Z)∧P))∨(((¬X)∧Z)∧P))∨(((¬X)∧Y)∧P)¬X∧Z∧P∨¬X∧¬Y∧Z∧P∨¬X∧Y∧Z∧P∨¬X∧Z∧P∨¬X∧Y∧P∨¬Y∧Z∧P
0000110010000000000000
0001100000010000000000
0010110010000000000000
0011100000010010000011
0100111011000001000000
0101101000011000000000
0110111111100001111111
0111101100011110011111
1000010000000000000000
1001000000000000000000
1010010000000000000000
1011000000000000000000
1100010000000001000000
1101000000000000000000
1110010000000001100001
1111000000000000000000


Наши друзья

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

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

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

Рейтинг@Mail.ru

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