NPTEL Video Course : NOC:Symbolic Logic

Lecture 9 - Truth-functional Connectives, Propositional Variables, Propositional Constants