Logic 1: Binary Propositions, De Morgan’s Law, What is an Implication — Tutorial 1/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
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:43 Choices
1:13 Conjunction (AND, ∧)
3:16 Disjunction (OR, ∨)
4:17 Negation (NOT, ¬)
4:58 Sheffer Stroke (NAND, ↑)
5:16 Peirce’s Arrow (NOR, ↓)
5:29 De Morgan’s Laws
7:11 Universal logic gates
7:51 Equivalence (XNOR, ↔)
8:44 Exclusive disjunction (XOR, ⊻)
10:17 Implication (IMP, →)
13:20 Truth table summary
14:35 Notation summary

Видео Logic 1: Binary Propositions, De Morgan’s Law, What is an Implication — Tutorial 1/4 канала Bisqwit