 The notion of a minimally necessary disjunction can also be characterized in terms of more formal concepts. Suppose \(\mathbf{C}\) is a set of clusters, where each cluster is given by a conjunction of factors. \(\mathbf{C}\) is a minimally necessary condition for \(E\) iff