Computing full disjunctions