MatchLogicFunction Analysis IsBlankFunction IsInverse IsMonotonicFunction IsOneFunction IsSymmetricFunctionTo IsUnateFunctionTo IsZeroFunction MinValue GrayCode binaryioset bool ToXORP logicvardef minterm PositiveNumberToMantissa real To2LayerNand Solve Sequential OutputAndStateBasedly CreateCompactTableWithFullSimplification GetExcitationTable ToDigitalSystem Simplification HuffmanMealy DontCare CreateDummyLogicFunction Zero