（1）可以用逻辑矛盾来解题.
假设A说的是真话,那么B说的是假话,D说的是假话,都没有矛盾.而C说的(A→B,箭头由右侧指向左侧) ,除非A,否则B的意思是一般情况都是B,只有A出现的情况下是A.除非A干了,否则就是B没有干.这句话肯定是假话,那么就与假设矛盾,所以,A说的不是真话——可能是A作案,也可能是B没作案.
假设B说了真话,那么盗窃犯就是A或D,假如A是盗窃犯,此时,A说的就是假话；C和D说的就有可能是真话,与题目不符.假如D是盗窃犯,那么A、D说的都是假话,C说的是真话,也不符.所以B说的也是假话——C就是盗窃犯.
假设C说的是真话,那么再推出矛盾……
假设