Give every eastward and southward edge of the directed 3×4 grid a Boolean presence variable. Determine the minimum number of nonterminal nodes in a reduced ordered binary decision diagram for the function that reports whether a directed path exists from the northwest vertex to the southeast vertex, minimized over all edge-variable orders.