\item \constructROBDD{f = ((a \land b) \lor \lnot a \lor(c \biimp d)}{\textit{alphabetic variable order}}