NPTEL Video Course : NOC:Symbolic Logic

Lecture 15 - Using Truth Table: Testing a Set of Propositions for consistency and inconsistency, and for logical equivalence