Logic Boolean: ghép điều kiện mà không làm chương trình hiểu sai

💡 Vì sao “không phải A hoặc không phải B” thường không loại được cả A lẫn B?

Điều kiện Boolean nên được kiểm tra bằng các trường hợp cụ thể. Bảng chân trị giúp thấy chính xác AND, OR và NOT hoạt động ra sao, thay vì đoán theo cảm giác ngôn ngữ.

Bảng chân trị của A AND B và A OR B cùng sơ đồ khoảng x nhỏ hơn 0 hoặc lớn hơn 10 — AND chỉ đúng khi cả hai vế đúng; OR đúng khi ít nhất một vế đúng. Vì vậy “ngoài đoạn 0 đến 10” phải dùng OR.

Ba toán tử cốt lõi

A and B yêu cầu đồng thời cả A và B đúng.
A or B yêu cầu ít nhất một trong hai đúng; OR trong lập trình thường bao gồm trường hợp cả hai cùng đúng.
not A đảo giá trị. Theo De Morgan: not(A or B) tương đương (not A) and (not B).

Biến câu chữ thành miền giá trị

“x nằm ngoài [0,10]” gồm hai miền rời: x<0 hoặc x>10, nên dùng OR. “x khác cả A và B” yêu cầu x≠A đồng thời x≠B, nên dùng AND. Hãy thử thế x=A để phát hiện biểu thức dùng OR sai.

⚠️ Đừng quên thứ tự ưu tiên và biên

Dùng ngoặc khi ghép nhiều điều kiện. Phân biệt < với ≤ để không vô tình loại hoặc nhận điểm biên. Trong Python, hãy dùng and, or, not cho logic thay vì nhầm với toán tử bit.

✅ Kiểm thử bằng phản ví dụ

Chọn ít nhất một giá trị thuộc mỗi vùng và một giá trị biên. Nếu điều kiện trả về khác ý định ở bất kỳ trường hợp nào, hãy sửa biểu thức trước khi viết phần còn lại của chương trình.

📚 Lý thuyết trọng tâm

Mục tiêu: Dùng and, or, not và bảng chân trị trong biểu thức điều kiện.. Khi học Logic Boolean: ghép điều kiện mà không làm chương trình hiểu sai, hãy xác định khái niệm, điều kiện áp dụng và mối liên hệ giữa các dữ kiện; không chỉ ghi nhớ kết luận.

🧭 Ví dụ có hướng dẫn

Chọn một tình huống điển hình của bài. Bước 1: ghi dữ kiện và câu hỏi cần giải quyết. Bước 2: chọn khái niệm hoặc quy tắc phù hợp. Bước 3: giải thích từng bước và kiểm tra kết quả với điều kiện ban đầu. Nếu đổi một dữ kiện, hãy dự đoán kết quả thay đổi thế nào.

✍️ Luyện tập

Tóm tắt bài bằng ba ý: khái niệm, điều kiện và kết luận.
Tự tạo một ví dụ đúng và một phản ví dụ; chỉ ra điểm quyết định.
Giải lại ví dụ khi thay đổi một dữ kiện, sau đó nêu cách kiểm chứng.

Checklist tự đánh giá

Tôi giải thích được “vì sao”, không chỉ nêu đáp án.
Tôi nhận ra trường hợp không áp dụng được quy tắc.
Tôi kiểm tra được đơn vị, bằng chứng hoặc tính hợp lí của kết luận.