Задача от часа по логика

Полицията задържала A,B,C и D за извършено престъпление.
Установено е ,че:
1)Ако A е виновен то B е съучастник.
2)Aко B е виновен или C е съучастник или A e невинен.
3)Ако D е невинен то A e виновен и C e невинен.
4)Ако D е виновен то А също е виновен.
Установено е ,че:
1)Ако A е виновен то B е съучастник.
2)Aко B е виновен или C е съучастник или A e невинен.
3)Ако D е невинен то A e виновен и C e невинен.
4)Ако D е виновен то А също е виновен.