Looks like it, just the opposite here, I completely forgotten about boolean algebra;
https://www.baeldung.com/cs/boolean-algebra-basic-laws
Boolean is kind of the digital algebra - on/off, 1 or 0, and gates, or gates, NOR gates, NAND, all kinds of things. fundamental digital stuff.