Գրեք սա: Binary decision diagrams :