Describir: Binary decision diagrams :