Una struttura di dati binari reticolo che succintamente rappresenta una tabella di verità crollando nodi ridondanti ed eliminando inutili nodi.