Условие:
Установлено, что преступление могли совершить Соколов, Дадаев или Больняк. Известно, что Дадаев никогда не совершает преступления без Больняка. Следовательно, если Больняк не совершал преступления, то его совершил Соколов.

Установлено, что преступление могли совершить Соколов, Дадаев или Больняк. Известно, что Дадаев никогда не совершает преступления без Больняка. Следовательно, если Больняк не совершал преступления, то его совершил Соколов.
Дано:
Найти:
Решение:
Мы можем представить все возможные комбинации для С, Д и Б:...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение