Digital CircuitsCtime: 2026-03-24 | Mtime: 2026-06-24 | Author: ljf12825逻辑:如何表达和推理信息命题逻辑、布尔代数谓词逻辑推理规则(与、或、非、蕴含等)经典应用:判断、条件控制、程序验证电路:如何实现逻辑在硬件上门电路(AND, OR, NOT, XOR)组合逻辑电路(加法器、多路选择器)时序逻辑电路(触发器、计数器、寄存器)CPU、内存、总线的底层实现