An introduction to propositions, truth tables, and logical equivalence, and logical operators — including negation, conjunction, disjunction, and implication.
***
Spanning Tree is an educational video series about computer science and mathematics. See more at https://spanningtree.me
To be notified when a new video is released, sign up for the Spanning Tree mailing list at https://spanningtree.substack.com/
Spanning Tree is created by Brian Yu. https://brianyu.me/
Email me at brian@spanningtree.me to suggest a future topic.
0:00 Logic
0:54 Propositions
1:35 Negation (Not)
1:59 Conjunction (And)
2:26 Disjunction (Or)
3:01 Truth Tables
4:21 Exclusive Or (Xor)
4:50 Implication
7:00 Equivalence
9:19 Biconditional
9:55 Conclusion
source