Quine-McCluskey logic algorithm in CF

One of my courses this semester (only one more semester to go, yay!) is on Digital Logic. It’s a fun course, as it essentially boils down to doing a whole bunch of repeatable procedures and optimization. If you’ve ever sat in an airport with a book of logic puzzles, you’d do well in the course. […]