Propositional Logic: Normal Forms and Applications

Related lectures (28)

Page 2 of 3

Covers propositions, logical connectives, truth tables, and propositional logic language.

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

Explains the design and synthesis of Finite State Machines in logic systems.

Covers the properties and theorems of Boolean algebra in logic systems.

Covers propositional logic, logical connectives, truth tables, and compound propositions.

Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.

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

Explains how to determine and build valid arguments in propositional logic.

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Explores existential quantifiers, truth values, and composite statements in predicate logic.