BDD 0 1 2 3 x1_comp x1 S x2_comp x2 S 0 x3_comp x3 S 1 x2 x2_comp S