util.sat
Translation function from Prop to NNF. Each instance of the class possesses its own translation cache.
Translates the given express to NNF form.
Returns the current expression translation cache as a function.
Translation function from Prop to NNF. Each instance of the class possesses its own translation cache.