O que é: Zero-suppressed Decision Diagram (Diagrama de Decisão Suprimido em Zeros)