Boolean Church Ep 0-2: Covering the main seven gates of Boolean in Church Boolean (CB)

Hello! This video is a follow-on from the previous video on Church Boolean, in which I go over the seven main gates in Boolean represented in Church-encoded Lambda! I also demonstrate the 'BooLambda' (I'm slowly accepting I'm not coming up with a better name for it lol) module from Conceptual Geometry! Which is kinda cool.

If you stay to the end, there's a special reveal of why I made these videos in the first place. But don't cheat and just skip there especially if you don't 'get' Church Boolean as that'd kinda ruin the entire point of making several hours of on-ramp content so that you'd actually get what the heck I'm talking about!

Timestamps -

00:01:20 - Recap of first video's content start
00:04:57 - overview of "What are TRUE and FALSE?" (recap)
00:07:35 - What does left-associative mean? / What is left-associativity?
00:21:00 - How does beta-reduction work?
00:25:30 - What is a normal form?
00:29:45 - Overview of gates starts
00:32:25 - Is NOT binary? / What is a unary gate?
00:33:50 - Introduction of BooLambda module
00:41:10 - What does a NOT gate look like? / Construction of NOT gate in BooLambda
00:49:45 - What does an AND gate look like? / Construction of AND gate begins
00:57:47 - What does an OR gate look like? / Construction of OR gate begins
01:02:07 - What does an XOR gate look like? / Construction of XOR gate begins
01:15:50 - What does a NAND gate look like? / Construction of NAND gate begins
01:26:50 - What does a NOR gate look like? / Construction of NOR gate begins
01:36:20 - What does an XNOR gate look like? / Construction of XNOR gate begins.
01:43:48 - The big reveal :p (don't click if you haven't watched the whole thing!)

- This is a reupload from my YouTube channel. - https://www.youtube.com/@Logic-Mysticism