NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 28 - Propositional Logic: Normal Forms of Formulas and Adequacy of Connectives