Interactive visualizations and demos that are used in a blog post I wrote about logic in the context of neural networks - View it on GitHub