Telefona gönder: Binary decision diagrams :