Lesson 03 — Tương đương & luật logic
Ba công cụ tương tác: kiểm tra tương đương hai công thức bất kỳ, demo De Morgan theo từng giá trị, và phân tích đảo/phản/phản đảo của điều kiện.
Cú pháp: ! hoặc ~ = ¬ · & hoặc ^ = ∧ · | hoặc v = ∨ · -> = → · <-> = ↔ · Biến: p, q, r, s
1. Máy kiểm tra tương đương
Nhập hai công thức logic. Máy sẽ sinh bảng chân lý và so sánh từng dòng, kết luận hai công thức có tương đương (≡) hay không.
Thử sẵn: De Morgan (!(p & q) vs !p | !q). Hoặc: p -> q vs !p | q. Hoặc: p -> q vs q -> p (đảo — không tương đương).
2. Demo De Morgan — bật/tắt từng giá trị
Nhấn vào các nút p và q để bật/tắt giá trị T/F. Hai cột kết quả của hai vế De Morgan luôn khớp nhau.
De Morgan 1: ¬(p ∧ q) ≡ ¬p ∨ ¬q
De Morgan 2: ¬(p ∨ q) ≡ ¬p ∧ ¬q
Bảng chân lý đầy đủ — tất cả 4 dòng
| p | q | ¬p | ¬q | ¬(p∧q) | ¬p∨¬q | ¬(p∨q) | ¬p∧¬q |
|---|
3. Đảo — Phản — Phản đảo của điều kiện
Nhập hai vế p và q của điều kiện p → q. Công cụ hiển thị ba biến thể và bảng chân lý so sánh tất cả, làm rõ cái nào tương đương gốc.
Thử: p = p, q = q (tổng quát). Hoặc p = p, q = p | q để xem ví dụ cụ thể hơn.