lol. Looks like you read my mind. Was figuring out how to make boolean gates a sort of duct to pipe water/electricity through just yesterday.
So like think all of boolean gates like these:
You get a lattice like this of all 16, which can then be arranged somehow to pipe the truthfulness (white is the true part) through them.
🤯 2
Been trying out a lot of combos like these, but couldn't figure out a way to duct the water through those properly yet. Then got sidetracked into bigbrain stuff like these form 16 vertices of a hypercube and what you see on the 2d grid is a shadow of the tesseract and then I realized I should probably get some sleep.
i
Ivan Reese
06/16/2020, 8:18 PM
This is fucking amazing. You should share this work in #general.
I've never thought of visualizing Boolean logic that way, but it's so clear.
g
Garth Goldwater
06/17/2020, 1:22 AM
i would love to input boolean logic (or even switch statements) in a programming system by filling in dots on a truth table
🍰 2
p
Prathyush
06/17/2020, 3:40 AM
I am trying to work out a way in which I can get (iconic) inferences out of the blocks. Let me hack on it for a some more time and I’ll share it.
What I like about the 2x2 grid examples you've shown is that to me they look iconic, familiar, self-revealing, animatable, composable, minimal, nestable, stylish, modest, subtle, mathematical, architectural…
Randolph diagrams.. aren't even all of that, and then less so.
p
Prathyush
06/17/2020, 10:15 AM
Randolph diagrams can be visualized as, which I think might share some (all?) of the properties shared there. This sort of patterns I think form the base of Kufi calligraphy and double as Wang Tiles in logic.
i
Ivan Reese
06/17/2020, 2:41 PM
Is that tile for A oriented correctly? It looks like it's the inverse or 180° rotation of what it should be, inferring from looking at And and Or and True.
👍 1
p
Prathyush
06/17/2020, 3:57 PM
Yeah, you are correct, it should be the mirror image, if we use and and or as the frame of reference. Also, it could be that the And and Or are the one's that needs rotation. Having symmetry in the icons of the syntax helps very much when playing with logic like this.