Таблица истинности для функции (Z→¬(X∧¬Z))→(¬(X∨Z)∨X∨Y):


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

X∧(¬Z):
XZ¬ZX∧(¬Z)
0010
0100
1011
1100

¬(X∧(¬Z)):
XZ¬ZX∧(¬Z)¬(X∧(¬Z))
00101
01001
10110
11001

Z→(¬(X∧(¬Z))):
ZX¬ZX∧(¬Z)¬(X∧(¬Z))Z→(¬(X∧(¬Z)))
001011
011101
100011
110011

X∨Z:
XZX∨Z
000
011
101
111

¬(X∨Z):
XZX∨Z¬(X∨Z)
0001
0110
1010
1110

(¬(X∨Z))∨X:
XZX∨Z¬(X∨Z)(¬(X∨Z))∨X
00011
01100
10101
11101

((¬(X∨Z))∨X)∨Y:
XZYX∨Z¬(X∨Z)(¬(X∨Z))∨X((¬(X∨Z))∨X)∨Y
0000111
0010111
0101000
0111001
1001011
1011011
1101011
1111011

(Z→(¬(X∧(¬Z))))→(((¬(X∨Z))∨X)∨Y):
ZXY¬ZX∧(¬Z)¬(X∧(¬Z))Z→(¬(X∧(¬Z)))X∨Z¬(X∨Z)(¬(X∨Z))∨X((¬(X∨Z))∨X)∨Y(Z→(¬(X∧(¬Z))))→(((¬(X∨Z))∨X)∨Y)
000101101111
001101101111
010110110111
011110110111
100001110000
101001110011
110001110111
111001110111

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

ZXY¬ZX∧(¬Z)¬(X∧(¬Z))Z→(¬(X∧(¬Z)))X∨Z¬(X∨Z)(¬(X∨Z))∨X((¬(X∨Z))∨X)∨Y(Z→¬(X∧¬Z))→(¬(X∨Z)∨X∨Y)
000101101111
001101101111
010110110111
011110110111
100001110000
101001110011
110001110111
111001110111

Логическая схема:

Околостуденческое

Рейтинг@Mail.ru

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