Advanced PermuteLogicFunction IsInverse IsPositiveUnateFunctionTo PureBinary ToOrAnd ToVariableInvertedFunction Eq logicvardef long() minterm() RadixToIndex One real To2LayerOrAnd To2LayerAndXor ToFullAnd Save Assign OutputAndStateBasedly CreateCompactTable Compatibility HuffmanMealy BestVariableOrder string() GetNegativeLogicFunction GetSubTable Utility ComputeDONTCARE Zero