Disentangling Neural Disjunctive Normal Form Models