I don’t know about you in particular, but I don’t think people have much of a claim on being creative; one proof of concept is that our (hollywood) aliens appear more like us instead of being alien to us. Full Disclosure: hollywood movies made me think aliens are ugly: ugly people ;)
On that auspicious note, consider a set V = {false, true} equpped with a binary operation AND: V x V —> V. For example, if a pair of statements: ‘Posina lives in Bengaluru’ AND ‘Posina likes Obbattu (ಒಬ್ಬಟ್ಟು)’ are both true, then the combined statement: ‘Posina lives in Bengaluru AND likes Obbattu (ಒಬ್ಬಟ್ಟು)’ is also true. Tabulating all four possible scenairos:
false AND false = false
false AND true = false
true AND false = false
true AND true = true
Denoting false and true with 0 and 1, respectiely, and with logical operation AND interpreted as arithmetic multiplication (x), we have:
0 x 0 = 0
0 x 1 = 0
1 x 0 = 0
1 x 1 = 1
based on which we say: true / 1 is the two-sided identity of the logical AND / multiplication (x). Note that the other element false / 0 is not a two-sided identity of the logical AND / multipliatio (x); multiplying with 0 turns 1 into 0. We also notice, given all the time in the world:
(0 x 0) x 0 = 0 x 0 = 0; 0 x (0 x 0) = 0 x 0 = 0
(0 x 0) x 1 = 0 x 1 = 0; 0 x (0 x 1) = 0 x 0 = 0
(0 x 1) x 0 = 0 x 0 = 0; 0 x (1 x 0) = 0 x 0 = 0
(0 x 1) x 1 = 0 x 1 = 0; 0 x (1 x 0) = 0 x 0 = 0
(1 x 0) x 0 = 0 x 0 = 0; 1 x (0 x 0) = 1 x 0 = 0
(1 x 0) x 1 = 0 x 1 = 0; 1 x (0 x 1) = 1 x 0 = 0
(1 x 1) x 0 = 1 x 0 = 0; 1 x (1 x 0) = 1 x 0 = 0
(1 x 1) x 1 = 1 x 1 = 1; 1 x (1 x 1) = 1 x 1 = 1
What we ended up with is a set V = {0, 1} equipped with a binary operation multiplication (x), which is associative, with 1 as the two-sided identity of multiplication, or in one word: a monoid.