Bfunc_S1__f1_4bits__xxxY = BooleanFunction([0,0,0,1, 1,1,1,0, 0,0,1,0, 1,1,0,1, 1,0,0,0, 0,0,0,1, 1,1,1,1, 0,1,1,0, 0,1,1,0, 0,0,0,0, 1,0,0,1, 0,1,1,1, 1,1,0,1, 1,1,1,0, 1,0,0,0, 1,0,0,1]) Bfunc_S1__f1_4bits__xxxY.algebraic_normal_form()