April 09, 2017
Holding off, on any further functional changes to the Boolean Tools. I'd like to recode the entire application, in a different language.
I also need to do some studying, using the Boolean Tools, to understand what other Boolean properties would be useful to students.
There will still be some cosmetic changes to both the Tools and the website in general.
There is no estimate, as to how long this will take.
February 01, 2017
Single-variable conjunctive eliminants were falsely reported as inconsistent. As a result, very simple equations like A + X = 0, were not being solved.
January 30, 2017
are now processed correctly. Sorry about that.
August 31, 2018
Inconsistent and Tautological expressions are handled correctly.