This program will consist set of Clojure functions that perform symbolic simplification and evaluation of boolean expressions using “and”, “or”, and “not”. “not” will be assumed to take one argument, ...

You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.

Abstract: Using the derivative of Boolean functions and the e-derivative defined by ourselves as research tools, we study the problem of derivative differential ...