Boolean Algebra Courses
Hausdorff Center for Mathematics via YouTube Stone Duality and Its Formalization
Centre International de Rencontres Mathématiques via YouTube Introduction to Digital Systems
NPTEL-NOC IITM via YouTube Decoders and Demultiplexers - Part 1
NPTEL-NOC IITM via YouTube QM Method: Boolean Minimization Techniques
NPTEL-NOC IITM via YouTube K-maps: Implicants, Prime Implicants, and Essential Prime Implicants
NPTEL-NOC IITM via YouTube Iterative Circuits: Comparator Design and Parity Generation - Part 1
NPTEL-NOC IITM via YouTube The Math Every Programmer Needs - Practical Applications of Discrete Math in Ruby
Confreaks via YouTube Orthologic with Axioms - Proof Theory and Algorithms
ACM SIGPLAN via YouTube