NPTEL Video Course : Logic for CS

Lecture 6 - Tautology Checking