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


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

X∧Z:
XZX∧Z
000
010
100
111

(X∧Z)→(¬Y):
XZYX∧Z¬Y(X∧Z)→(¬Y)
000011
001001
010011
011001
100011
101001
110111
111100

¬Z:
Z¬Z
01
10

Y∧(¬Z):
YZ¬ZY∧(¬Z)
0010
0100
1011
1100

((X∧Z)→(¬Y))∨(Y∧(¬Z)):
XZYX∧Z¬Y(X∧Z)→(¬Y)¬ZY∧(¬Z)((X∧Z)→(¬Y))∨(Y∧(¬Z))
000011101
001001111
010011001
011001001
100011101
101001111
110111001
111100000

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

XZY¬YX∧Z(X∧Z)→(¬Y)¬ZY∧(¬Z)(X∧Z→¬Y)∨(Y∧¬Z)
000101101
001001111
010101001
011001001
100101101
101001111
110111001
111010000

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

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

Рейтинг@Mail.ru

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