Табличным способом обоснуйте правильность вывода

Умозаключение состоит из трех простых суждений:
p – «Соколов совершил преступление»;
q – «Дадаев совершил преступление»;
r – «Больняк совершил преступление»;
Символическая запись сложных суждений:
1. «Преступление могли совершить Соколов, Дадаев или Больняк»:
р q r.
2 . Дадаев никогда не совершает преступления без Больняка:
q ↔ r.
3. «Если Больняк не совершал преступления, то его совершил Соколов:
¬r → р.
Схема умозаключения: ((р q r) (q ↔ r)) → (¬r → р).
Таблица истинности:
Порядок действий → 1 2 4 3 6 5
р q r ¬r р q r (q ↔ r) → (¬r → р)
и и и л и и и и и и
и и л и и и л л и и
и л и л и и л л и и
и л л и и и и и и и
л и и л и и и и и и
л и л и и и л л и л
л л и л л и л л и и
л л л и л л л и и л
Ответ: формула принимает все значения истинности, следовательно, вывод умозаключения правильный.