Guest
In this four-part series we explore propositional logic, Karnaugh maps, implications and fallacies, predicate logic, existential and universal quantifiers and finally natural deduction. Become a member: My links: Twitter: Liberapay: Steady: Patreon: (Other options at ) Twitch: Homepage: 0:00 Introduction 0:15 Optimizing an arbitrary truth table 1:40 Karnaugh map 3:41 Inverse Karnaugh map 5:25 Implications and Fallacies 6:23 The turnstile symbol (⊢) 7:16 Field trip 7:48 Number codes on IC chips 8:20 The 7400 series 8:48 Case study: quad 2-input NAND gate 9:27 NANDputer Check out Kevin Horton’s NANDputer here:
