Channel: Bisqwit

Category: Education

Tags: antecedentnatural deductionnegationpropositional logicbisqwitexistential quantifierkarnaugh mapsuniversal quantifierconjunctioninversionimplicationlogic introductionboolean algebradigital electronicsfallacytutorialmodus ponensintroduction logicequivalencede morgan's lawpeirce's arrowdisjunctionjoel yliluomapredicate logicsheffer strokeboolean logiclogic gateskarnaw mapmodus tollensturnstilekarnaugh mapconsequent7400 series

Description: 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: youtube.com/Bisqwit/join My links: Twitter: twitter.com/RealBisqwit Liberapay: liberapay.com/Bisqwit Steady: steadyhq.com/en/bisqwit Patreon: patreon.com/Bisqwit (Other options at bisqwit.iki.fi/donate.html) Twitch: twitch.tv/RealBisqwit Homepage: iki.fi/bisqwit 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: blog.kevtris.org/?p=62