The following logical equation defines the output of a cascaded set of six 2:1 multiplexers:
Y[n] = If[If[Y(n-2),If[Y(n-3),A(n-1),B(n-1)],If[Y(n-3),C(n-1),D(n-1)]],If[Y(n-2),A(n),B(n)],If[Y(n-2),C(n),D(n)]]
it is relatively easy to write Y(n) as a logical function of the several inputs Y(), A(), B(), C() and D(), using "and", "or" and "not" gates.
Is there a mechanism in Mathematica to convert the Ifs into an equivalent logical expression? Thanks
