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

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

P	Q	P∨Q
0	0	0
0	1	1
1	0	1
1	1	1

Q∨P:

Q	P	Q∨P
0	0	0
0	1	1
1	0	1
1	1	1

(P∨Q)→(Q∨P):

P	Q	P∨Q	Q∨P	(P∨Q)→(Q∨P)
0	0	0	0	1
0	1	1	1	1
1	0	1	1	1
1	1	1	1	1

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

P	Q	P∨Q	Q∨P	(P∨Q)→(Q∨P)
0	0	0	0	1
0	1	1	1	1
1	0	1	1	1
1	1	1	1	1

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