Lectures related to Understanding Microcontrollers: Combinatorial Systems

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Proofs: Logical Equivalence and Inference Rules

Covers the concept of logical equivalence in proofs and inference rules.

Digital Systems Overview: Evolution and Fundamentals

Explores the evolution of digital systems, covering basics like Boolean algebra and logic gates, and emphasizes teamwork skills and professional vocabulary.

Logic Synthesis: Designing Efficient Digital Circuits

Discusses logic synthesis techniques for designing efficient digital circuits from functional descriptions and truth tables.

Combinatorial Logic Circuits

Covers the basics of logical systems, Boolean algebra, logic gates, and coding in digital circuits.

Logic Synthesis: Designing Efficient Digital Circuits

Discusses logic synthesis techniques for designing efficient digital circuits using minterms, maxterms, and new gates like XOR and XNOR.