NPTEL Video Course : NOC:Symbolic Logic

Lecture 17 - Truth Tree Rules and their Application