Таблица истинности для функции P→((Q∧¬P)∧Q):

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

P	¬P
0	1
1	0

Q∧(¬P):

Q	P	¬P	Q∧(¬P)
0	0	1	0
0	1	0	0
1	0	1	1
1	1	0	0

(Q∧(¬P))∧Q:

Q	P	¬P	Q∧(¬P)	(Q∧(¬P))∧Q
0	0	1	0	0
0	1	0	0	0
1	0	1	1	1
1	1	0	0	0

P→((Q∧(¬P))∧Q):

P	Q	¬P	Q∧(¬P)	(Q∧(¬P))∧Q	P→((Q∧(¬P))∧Q)
0	0	1	0	0	1
0	1	1	1	1	1
1	0	0	0	0	0
1	1	0	0	0	0

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

P	Q	¬P	Q∧(¬P)	(Q∧(¬P))∧Q	P→((Q∧¬P)∧Q)
0	0	1	0	0	1
0	1	1	1	1	1
1	0	0	0	0	0
1	1	0	0	0	0

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