Ready Set Boole

A structured exploration of discrete mathematics through implementation: boolean evaluation, truth table generation, NNF and CNF conversion, SAT solving, and Hilbert curve. Less a single project than a working tour of the mathematical foundations that underpin computer science.