MatchLogicFunction Analysis IsPositiveUnateFunctionTo IsSymmetricFunction IsThresholdFunction AndXor ToAndOr ToOrAnd ToDiagram ToPOS Dimacs FeedbackDiagram LogicScript minterm() Nor RadixFromIndex Or Realization To2LayerAndXor ShortestInputsForTransition StateVariables ToFeedbackSystem Compatibility FullTable SimpleCover string RandomGenerate Utility ComputeDONTCARE Zero