After George Boole's introduction of an algebraic approach to logic, the subject morphed towards a more set theoretic formulation, with so called Boolean algebra initiated by John Venn and Charles Peirce. Venn diagrams (originally going back to Euler), give us a visual way of representing relations between subsets of a universal set. The operations of meet and join, or intersection and union, together with taking complements become replacements for the product and sum of the Algebra of Boole.
In this set theoretic context, de Morgan's laws clarify how to compute complements of unions and intersections, and the two distributive laws involve 3 sets, and either a union of an intersection, or the intersection of a union. We illustrate how to verify these laws from, first of all a truth table perspective, and then with computations using the Algebra of Boole.
There is a heretical message here: professors teaching circuit analysis to engineers might want to start thinking about revamping their subject, and replacing Boolean algebra with the original, more powerful and simpler Algebra of Boole!
Video Content:
00:00 Introduction
3:52 Converting Boolean Algebra expressions into the algebra of Boole
6:23 Finite set theory and Venn diagrams
10:09 De Morgan's laws
13:15 Distributive laws
16:13 Proving the distributive laws
Here are the Insights into Mathematics Playlists:
https://www.youtube.com/playlist?list=PL55C7C83781CF4316
https://www.youtube.com/playlist?list=PL3C58498718451C47
https://www.youtube.com/playlist?list=PL5A714C94D40392AB
https://www.youtube.com/playlist?list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp
https://www.youtube.com/playlist?list=PLIljB45xT85Bfc-S4WHvTIM7E-ir3nAOf
https://www.youtube.com/playlist?list=PLIljB45xT85D94vHAB8joyFTH4dmVJ_Fw
https://www.youtube.com/playlist?list=PL8403C2F0C89B1333
https://www.youtube.com/playlist?list=PLIljB45xT85CcGpZpO542YLPeDIf1jqXK
https://www.youtube.com/playlist?list=PLIljB45xT85Aqe2b4FBWUGJdYROT6-o4e
https://www.youtube.com/playlist?list=PLIljB45xT85DB7CzoFWvA920NES3g8tJH
https://www.youtube.com/playlist?list=PLIljB45xT85A-qCypcmZqRvaS1pGXpTua
https://www.youtube.com/playlist?list=PLIljB45xT85DH__ZzGQWQrVRxlbKh-Nsa
https://www.youtube.com/playlist?list=PLIljB45xT85CdeBmQZ2QiCEnPQn5KQ6ov
https://www.youtube.com/playlist?list=PLIljB45xT85AMigTyprOuf__daeklnLse
https://www.youtube.com/playlist?list=PLIljB45xT85CnIGIWb7tH1F_S2PyOC8rb
https://www.youtube.com/playlist?list=PLIljB45xT85CN9oJ4gYkuSQQhAtpIucuI
https://www.youtube.com/playlist?list=PLIljB45xT85DWUiFYYGqJVtfnkUFWkKtP
https://www.youtube.com/playlist?list=PL6763F57A61FE6FE8
https://www.youtube.com/playlist?list=PLBF39AFBBC3FB30AF
https://www.youtube.com/playlist?list=PLIljB45xT85DSrlV6NX8RMBksZhdTHtwW
https://www.youtube.com/playlist?list=PLIljB45xT85Bmcc9ksBOAKgIZAl0BwPg7
Here are the Wild Egg Maths Playlists (some available only to Members!)
https://www.youtube.com/playlist?list=PLzdiPTrEWyz4rKFN541wFKvKPSg5Ea6XB
https://www.youtube.com/playlist?list=PLzdiPTrEWyz4VlOppC5CN0D0GjrjvBGKy
https://www.youtube.com/playlist?list=PLzdiPTrEWyz5VLVr-0LPPgm4T1mtU_DG-
https://www.youtube.com/playlist?list=PLzdiPTrEWyz6zpIZ4Y_RK9zyJ9OufqNJv
https://www.youtube.com/playlist?list=PLzdiPTrEWyz7hk_Kzj4zDF_kUXBCtiGn6
https://www.youtube.com/playlist?list=PLzdiPTrEWyz5j1BJdXBw1MFst_nQAqzZ_
https://www.youtube.com/playlist?list=PLzdiPTrEWyz5HWgaVkhIwpGVKi6fciRxW
https://www.youtube.com/playlist?list=PLzdiPTrEWyz5HBT_Yo1G4DfeqUfI9zkKM
https://www.youtube.com/playlist?list=PLzdiPTrEWyz7LKbuJAHaXAhRj2ylD0OoX
https://www.youtube.com/playlist?list=PLzdiPTrEWyz6VcJQ5xcuqY6g4DWjvpmjM
https://www.youtube.com/playlist?list=PLzdiPTrEWyz6MwUTOHRgC0oIxVtaHGQBd
https://www.youtube.com/playlist?list=PLzdiPTrEWyz4KD007Ge10dfrDVc4YwlYS
https://www.youtube.com/playlist?list=PLzdiPTrEWyz4IknbwXMEVwxOWS3z1Ch3C
************************