VDict mobile



disjunctions not found. Suggestions:

Conjunctive Normal Form