a) Ta có 5+3+⊛=8+⊛5+3+⊛=8+⊛. Để 53⊛¯¯¯¯¯¯¯¯¯53⊛¯ chia hết cho 3 và không chia hết cho 9 thì 8+⊛8+⊛ cũng chia hết cho 3 và không chia hết cho 9. Suy ra: ⊛∈{4;7}⊛∈{4;7}. b) Ta có ⊛+4+7+1=⊛+12⊛+4+7+1=⊛+12. Để ⊛471¯¯¯¯¯¯¯¯¯¯¯⊛471¯ chia hết cho 3 mà không chia hết cho 9 thì ⊛+12⊛+12 phải chia hết cho 3 và không chia hết cho 9. Dễ thấy ⊛≠0 nên ⊛∈{3;9}