IsPositiveFunction IsUnateFunction IsUnateFunctionTo PureBinary binaryioset() binaryioset Dimacs Email logicvardef minterm() LeastSignificantDigit MantissaToPositiveNumber PositiveDecimalToMantissa PositiveNumberToMantissa RadixFromIndex object() real() To2LayerOrAnd To2LayerAndXor To2LayerNand Assign To2layerOrAnd Compatibility ShannonTree Balanced MultiCover StateTransition RandomGenerate Xor Zero