NPTEL Video Course : Mathematical Logic

Lecture 27 - Validity, Satisfiability & Equivalence