NPTEL Video Course : Logic for CS

Lecture 11 - Maximally Consistent Sets