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

Channel:
Subscribers:
147,000
Published on ● Video Link: https://www.youtube.com/watch?v=Fcg0W8GjbgQ



Category:
Vlog
Duration: 9:51
14,499 views
599


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







Tags:
joel yliluoma
bisqwit
propositional logic
boolean logic
boolean algebra
natural deduction
predicate logic
karnaugh maps
karnaugh map
tutorial
digital electronics
logic gates
de morgan's law
modus ponens
modus tollens
implication
equivalence
conjunction
disjunction
sheffer stroke
peirce's arrow
karnaw map
7400 series
negation
inversion
introduction logic
logic introduction
universal quantifier
existential quantifier
turnstile
fallacy
antecedent
consequent