NPTEL Video Course : Introduction to Logic

Lecture 25 - CNF, DNF and satisfiability and Validity