1. Записать рассуждение в логической символике, обосновать выбор логических связок
2. Проверить правильность рассуждений, составив таблицу истинности
Если подозреваемый совершил кражу, то либо кража была тщательно подготовлена, либо имелся соучастник. Если бы кража была тщательно подготовлена, то был бы соучастник. Значит, подозреваемый не виновен в краже.