python calculus library with imprecise and precise representations
Boolean Function Optimizer using Quine–McCluskey algorithm
simplifies boolean functions with Quine-McCluskey algorithm
Program for minimizing boolean functions not using Karnaugh K-maps
Expression compiler written in C# using System.Linq.Expressions
Visually build and simulate boolean logic circuits