I was stuck on a long flight with nothing much to do, & curiosity about logic tables for a 4-valued logic (true, false, both, neither) are what bubbled up to mind 🤷‍♂️. The tables that seemed right to me result turned out to be a logic that's called "First Degree Entailment". It has a nice overview here: https://link.springer.com/content/pdf/10.1007/s11225-017-9748-6.pdf

It's kinda fun to rediscover the very basics of a thing, and then get to learn all about it because other people have done the hard work 😁