Lectures related to Propositional Logic: Basics and Applications

Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

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

Covers interesting facts about propositional logic and Sudoku solving strategies.

Covers the basics of logic systems, including digital versus analog circuits, logic operators, truth tables, and Boolean algebra.

Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.

Covers the process of showing logical equivalences through examples and introduces De Morgan's Laws.