Mathematical Logic 8, Normal Forms DNF and CNF

An introduction to disjunctive normal form and conjunctive normal form, and algorithms for constructing them. These videos are a companion to the textbook by Rautenberg, A Concise Introduction to Mathematical Logic: https://link.springer.com/book/10.1007/978-1-4419-1221-3 A link to the playlist: https://youtube.com/playlist?list=PLcwjc2OQcM4usoBzVwXNytSiQy1t1tpkK 0:00 Intro 0:08 Syntax and Semantics 0:47 DNF 3:37 Not Unique 5:10 Construction Algorithm 10:44 CNF 13:13 Functional Completeness