NPTEL Video Course : Logic for CS

Lecture 14 - Derived Rules