http://www.smbc-comics.com/comic/chew
Alt text
There was a fairly intricate debate on an early version of this posted to bluesky, the contention being over whether OR was sufficient. I think the ORs have it, but XOR is a funnier word, so there.
Bonus panel



This logic would still be propositional as there are no quantifiers.