You are not logged in.
Skip Navigation Links
Drag and drop file to the editor for uploading the file. Text file max 10 MB. Data quota will be deducted every upload and download.
IsUnateFunction AndXor ToBinary GrayCode NineComplement ToAndXor ToNotFunction ToShannonTree ToTruthTable Eq LeastSignificantDigit MantissaToPositiveInteger MostSignificantDigit PositiveDecimalToMantissa To2LayerOrAnd Backwardly OutputAndStateBasedly ToStateTransitionTable CreateCompactTable CreateCompactTableWithFullSimplification GetExcitationTable ToDigitalSystem BestVariableOrder FastVerificationData Full SimpleInner ComputeDONTCARE Normalization Substitute Zero