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.
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.
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.
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
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.
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.
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.
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.