Advanced PermuteLogicFunction Analysis IsPositiveFunction IsThresholdFunction IsUnateFunction FromBinary OneComplement Convert ToDualFunction ToShannonTree ToTruthTable DiagramGateName Eq list() logicvardef long() minterm() Nor To2LayerNand Solve Assign StateTransitionBasedly FastVerificationData ROBDD GetNegativeLogicFunction AdjustLogicVariableCount IndependentBase XORP Zero