IsBlankFunction IsPositiveUnateFunctionTo IsSelfDualFunction AndOr FromBinary List BCDEx3 PureBinary binary binaryioset() Convert ToDualFunction ToShannonTree Diagram logicvardef() long() long One To2LayerAndOr InputVariables Backwardly ToFeedbackSystem DontCare Full SimpleCover GetDontCareLogicFunction AdjustLogicVariableCount IndependentBase SemanticEval Zero