This is way cooler: http://silon.slaks.net
https://github.com/SLaks/Silon#implementation-details
"Silon is implemented using LESS to generate CSS selectors for every combination of inputs that will turn each gate on. In effect, I created a LESS-based DSL that expresses (almost-)arbitrary boolean expressions."
It's still cooler than the OP.
Actually, I'm interested in philosophy in general, especially early Wittgenstein & Gödel.
So I'm biased.