reduction-holman

This is an experiment that imitates holman's elegant normal forms from the paper "Elements of an expert system for determining the satisfiability of general Boolean expressions"