Discrete Structures, Lec#17, Proving Tautology without using Truth Tables

Discrete Structures, CC-111, for BS Computer Science, University of the Punjab
Discrete Mathematics, MATH-231, for BS Information Technology, University of the Punjab
Discrete Mathematics, MATH-105, for BS Mathematics, University of the Punjab
Discrete Mathematics by Z.R. Bhatti