Từ các chữ số 0, 1, 3, 6, 7, 8, 9 có thể lập được bao nhiêu số tự nhiên lẻ có bốn chữ số đôi một khác nhau và phải có mặt chữ số 7?

(AI giải đề cho tôi)
Đếm tổng số thỏa (lẻ, 4 chữ số, đôi một khác nhau) rồi trừ các số không chứa chữ số 7.
Tổng: chữ số tận cùng lẻ thuộc {1,3,7,9}: 4 cách; hàng nghìn khác 0 và khác chữ số tận cùng: 5 cách; hai chữ số còn lại: $A_5^2=20$ cách. Tổng $=4\cdot 5\cdot 20=400$.
Không có chữ số 7 (chỉ dùng 0,1,3,6,8,9): tận cùng thuộc {1,3,9}: 3 cách; hàng nghìn khác 0 và khác tận cùng: 4 cách; hai chữ số giữa: $A_4^2=12$ cách. Số số $=3\cdot 4\cdot 12=144$.
Kết quả: $400-144=256$.