I've done exhaustive iteration like this to generate truth tables (with feedback...

nitrogen on Feb 4, 2017 | parent | context | favorite | on: The Gray-1, a homebrew CPU exclusively composed of...

I've done exhaustive iteration like this to generate truth tables (with feedback -- sone outputs wired to inputs) from a bunch of C if statements for controlling room combining in audio systems that supported truth tables but not code. It does work.