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
But even logically it is an and. He came to do both, the logic statement won’t comply until he has done both, nowhere there is he saying that he is going to do both at the same time, only that his intention, by the end, is to have done both.
If he fulfills his intentions, he will have chewed bubblegum and kicked ass by the time he leaves, but that’s again up for interpretation because he didn’t specify if he’s capable for either or any kind of timeframe.
…I did take a course on what’s basically advanced logic in 4th year of CS. I believe we proved up until exponentials via logic proofs, based on some basic axioms like 1+1 and number ordering.
It’s fun to logically prove that 2 + 3 = 5 from the basic symbols 1 and +.