Details
Description
LogicTransformer does the minimum to support OR and remove duplicate nodes but this can be taken further to minimise the size of the boolean logic and thus reduce the number of nodes and increase rete efficiency
http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.ndjfl/1093888319
http://en.wikipedia.org/wiki/Quine-McCluskey_algorithm
http://matwbn.icm.edu.pl/ksiazki/amc/amc13/amc1352.pdf