https://youtu.be/pQsdygaYcE4

P vs. NP from Quanta Magazine

It is sad that when they talk about Boolean Algebra, they just ASSUME it's binary. That's wrong. Everywhere you look in the media, the scientific, and even philosophical literature, you see this mistake. Assuming Boolean Algebra is binary, or that "Logic" equals "Binary Logic" implicitly because nobody even considers that there IS a (very important) alternative.

Instead of Z2, use the field F4. Boolean algebra (which is about polynomials over a field, not binary numbers) works just fine, and you can easily construct coherent 4 valued and 3 valued logics from that.