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

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

P	Q	P→Q
0	0	1
0	1	1
1	0	0
1	1	1

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

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

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

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

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

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

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