Докажите общезначимость заданных формул методом составления истинностных таблиц: ((┐P—>┐Q)—>(Q—>P))

Докажите общезначимость заданных формул методом составления истинностных таблиц:
((┐P—>┐Q)—>(Q—>P))

Решение:
P    R    Q   ┐P ┐Q  ┐P —>┐Q    Q—> P    ((┐P—>┐Q)—>(Q—>P))
0    0    0    1    1        1               1                        1
0    0    1    1    0        0               0                        1
0    1    0    1    1        1               1                        1
0    1    1    1    0        0               0                        1
1    0    0    0    1        1               1                        1
1    0    1    0    0        1               1                        1
1    1    0    0    1        1               1                        1
1    1    1    0    0        1               1                        1

Формула ((┐P—>┐Q)—>(Q—>P)) является тавтологией