Lesson 01 — Đại số Boolean & Cổng logic
Bộ mô phỏng cổng logic tương tác: bật/tắt ngõ vào A và B, quan sát ngõ ra thay đổi trực tiếp cùng bảng chân trị highlight. Thử đánh biểu thức Boolean tùy ý và khám phá định luật De Morgan trực quan.
1. Mô phỏng cổng logic
Chọn loại cổng, bật/tắt ngõ vào A và B (NOT chỉ dùng A).
A
B
0
Ngõ ra Y
Chọn cổng và thay đổi ngõ vào...
2. Đánh biểu thức Boolean tùy ý
Cú pháp hỗ trợ:
biến
Ví dụ:
A, B, C (hoa/thường);
NOT: ! hoặc ~;
AND: & hoặc * hoặc khoảng trắng;
OR: | hoặc +;
XOR: ^;
Dấu ngoặc () được hỗ trợ.Ví dụ:
A & B | !C · !(A & B) · A ^ B · !A | !B
3. De Morgan trực quan
Định luật De Morgan nói hai biểu thức sau luôn bằng nhau. Thay đổi A, B để thấy cả hai vế luôn cho kết quả giống nhau.
De Morgan 1: (A · B)̄ = Ā + B̄
A
B
NOT(A AND B)
0
(A·B)̄
=
NOT A OR NOT B
0
Ā + B̄
— chờ thay đổi —
De Morgan 2: (A + B)̄ = Ā · B̄
A
B
NOT(A OR B)
0
(A+B)̄
=
NOT A AND NOT B
0
Ā · B̄
— chờ thay đổi —
4. NAND vạn năng — dựng cổng khác từ NAND
Chọn hàm cần dựng. Sơ đồ bên dưới hiển thị cách nối NAND để đạt được hàm đó. Bật/tắt A, B để xác minh.
A
B
Chọn hàm cần dựng...