Advanced PermuteLogicFunction Analysis IsParityFunction BDD FromBinary List MaxValue BCD BinaryNumberToString OneComplement TwoComplement ToOrAnd LogicScript logicvardef() long() Radixes POS To2LayerNor To2LayerAndOr Save ToStateTransitionTable ROBDD Full MultiCover SimpleInner StateTransition string IndependentBase Zero