Bugs:
February 01, 2017
Conjunctive Eliminant not being calculated correctly. There are some false positives on inconsistency, and also a few calculations that are off, by at least one term.
February 03, 2017
The miscalculation of the C.E. & other expressions, appears to be a false alarm. The Conjunctive Eliminant is fine. The other terms, e.g. in the calculation of the Subsumptive solution, are minimized before displaying them, and that accounts for the missing terms. It's all equivalent.
However, all of the solutions need to be further simplified, by making use of the Conjunctive Eliminant. That is in process.
February 05, 2017
Processing falters on tautological expressions. In process.
FIXED