Boolean algebra stuff

Another Sunday, another video by njwildberger. Not sure if boolean algebra (as opposed to algebra of boole) has pervaded mainstream academia and practice, but my prof did a good job pointing this out back then so I'm not that surprised, albeit it wasn't as clear as presented here. Or perhaps my lazy brain automatically mixed them up as the same and I went for the algebra of boole variant as it's easier on the head. Thinking about it, he's also from Australia like njwildberger, so perhaps there's a similar strain of math/logic/engineering going on around that region.