Lectures related to Boolean logic

Covers conditional and Boolean expressions, rewrite rules, and value definitions.

Covers the design of datapath subsystems, focusing on basic combinational components and various implementation options for adders, multipliers, and shifters.

Propositional Logic: Normal Forms

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, showing how to construct them and discussing their complexity.

Finite Systems Expressed with Formulas

Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.

Boolean Algebra: Properties and Optimization

Covers Boolean algebra properties, optimization techniques, and the importance of valid groups in Karnaugh maps.

Propositional Logic: Normal Forms and Applications

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.