17:42 2209 Video 38 (Functional completeness of Boolean operations) Dinesh Valluri 594 views - 5 years ago
19:12 2209 Video 36 (Boolean functions and min-terms with examples) Dinesh Valluri 567 views - 5 years ago
3:28 2209 Video 35 (Boolean functions, definition and examples) Dinesh Valluri 422 views - 5 years ago
14:33 2209 Video 33 (Proofs using the syntactic rules of natural deduction) Dinesh Valluri 766 views - 5 years ago
14:47 2209 Video 32 (Syntax and semantics in propositional logic) Dinesh Valluri 1.1K views - 5 years ago
4:29 2209 Video 22 (Relation between contradiction and contraposition) Dinesh Valluri 443 views - 5 years ago
9:15 2209 Video 16 (Quantifiers need not commute: two examples) Dinesh Valluri 539 views - 5 years ago
7:46 2209 Video 15 (De Morgan's laws for more than one variable) Dinesh Valluri 537 views - 5 years ago
7:36 2209 Video 8 (Equivalences via laws of propositional logic) Dinesh Valluri 801 views - 5 years ago
6:21 2209 Video 7 (Tautology, Contradiction and Satisfiability) Dinesh Valluri 750 views - 5 years ago
9:56 2209 Video 2 (Compound propositions and their truth tables) Dinesh Valluri 1.1K views - 5 years ago