DNF Equipment Synthesis