Biconditional-BDD ordering for autosymmetric functions