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

Промежуточные таблицы истинности:
X∧Y:

X	Y	X∧Y
0	0	0
0	1	0
1	0	0
1	1	1

X∨X:

X	X∨X
0	0
1	1

Z≡Y:

Z	Y	Z≡Y
0	0	1
0	1	0
1	0	0
1	1	1

(X∧Y)∧(X∨X):

X	Y	X∧Y	X∨X	(X∧Y)∧(X∨X)
0	0	0	0	0
0	1	0	0	0
1	0	0	1	0
1	1	1	1	1

((X∧Y)∧(X∨X))∧(Z≡Y):

X	Y	Z	X∧Y	X∨X	(X∧Y)∧(X∨X)	Z≡Y	((X∧Y)∧(X∨X))∧(Z≡Y)
0	0	0	0	0	0	1	0
0	0	1	0	0	0	0	0
0	1	0	0	0	0	0	0
0	1	1	0	0	0	1	0
1	0	0	0	1	0	1	0
1	0	1	0	1	0	0	0
1	1	0	1	1	1	0	0
1	1	1	1	1	1	1	1

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

X	Y	Z	X∧Y	X∨X	Z≡Y	(X∧Y)∧(X∨X)	(X∧Y)∧(X∨X)∧(Z≡Y)
0	0	0	0	0	1	0	0
0	0	1	0	0	0	0	0
0	1	0	0	0	0	0	0
0	1	1	0	0	1	0	0
1	0	0	0	1	1	0	0
1	0	1	0	1	0	0	0
1	1	0	1	1	0	1	0
1	1	1	1	1	1	1	1

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