MatchLogicFunction Analysis IsLinearFunction IsParityFunction IsUnateFunction AndOr AbsoluteExpression binary AddXorTerm ToDiagram Dimacs Count Get long() To2LayerOrAnd Solve AutoAssignInputAndStateVariables Backwardly OutputAndStateBasedly ToStateTransitionTable GetExcitationTable BestVariableOrder DontCare Shannon TruthTable GetSubTable ComputeFunctionOrder CreateDummyLogicFunction var Zero