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.
Analysis IsBlankFunction IsLinearFunction IsSelfAntiDualFunction IsThresholdFunction IsUnateFunctionTo AndXor BCDEx3 BinaryNumberToString StringToBinaryNumber binaryioset() ToAndXor ToShannonTree ToVariableInvertedFunction Diagram Load Nand MostSignificantDigit PositiveIntegerToMantissa POS SAT Solve OutputAndStateBasedly CreateCompactTableWithFullSimplification To2layerOrAnd Balanced StateDeviceName StateTransition ComputeDONTCARE Zero