Programming, Binary Decision Diagrams, Computer Science, Boolean.
rooted in a mathematical concept called the Shannon expansion. Given a boolean function F of n variables (x1, x2, …, xn), consider the following boolean functions of n-1 variables: F(1, x2, …, xn) and F(0, x2, …, xn). These are referred to as the cofactors of F — the first one is the positive