Changes:

Added DNF converter. added new method to calculable, added new test