Hi folks! Just made a blog post on computing truth tables in Org. Here’s a summary and link:
Truth tables are a great way to design and verify combinational logic, but enumerating their full range of values is not fun to write. In this post, I describe how to automate truth table generation in Emacs and perform boolean operations on the generated input values in Org.