Compare realizations with bdds for orders of variables

Question

Response to the following problem:

Realize the function from Problem 1 by (4 × 1) multiplexers using the following combination of variables at control inputs

1 (x₁, x₃) and (x₂, x₄),

2 (x₁, x₄), and (x₂, x₃).

Problem 1: From the BDD for the function f(x₁, x₂, x₃, x₄) = x₁x₂∨ x₁x₃ ∨ x₂x₃x₄, determine the corresponding (2×1) multiplexer network.

Compare realizations with BDDs for a few different orders of variables.