Logic 2: Karnaugh Map, Fallacies, 7400 Series — Tutorial 2/4

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: https://youtube.com/Bisqwit/join

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

Видео Logic 2: Karnaugh Map, Fallacies, 7400 Series — Tutorial 2/4 канала Bisqwit