Lesson 07 — Logic & tính toán
Ba module tương tác: xưởng mạch logic (Boolean gates), SAT mini (thỏa được), và bảng decidability so sánh các hệ logic.
1. Xưởng mạch logic — Boolean gates
Chọn cổng, bật/tắt đầu vào → xem đầu ra + ký hiệu SVG + bảng chân lý. Hàng hiện tại được đánh dấu vàng.
Đầu vào
p
q
Đầu ra
0
2. SAT mini — Tự gán giá trị, kiểm tra thỏa được
Chọn công thức (CNF), gán T/F cho từng biến, hệ tính kết quả từng mệnh đề. Nút "Tự tìm" duyệt toàn bộ 2ⁿ tổ hợp.
p
q
r
← Chọn công thức và gán giá trị để kiểm tra.
3. Decidable hay không — So sánh các hệ logic
Click vào một hàng để xem giải thích chi tiết.
| Hệ thống / Bài toán | Quyết định được? | Lý do ngắn gọn | Liên kết |
|---|