مخطط القرار المثبط الصفري (Zero-suppressed decision diagram)