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.
IsInverse IsLinearFunction IsSymmetricFunctionTo IsUnateFunctionTo BDD binary() AbsoluteExpression GrayCode PureBinary ToDualFunction ToVariableInvertedFunction ToXORP Eq logicvardef NumberSystem LeastSignificantDigit MostSignificantDigit RadixToIndex To2LayerAndXor To2LayerNand OutputAndStateBasedly Simplification Balanced FastVerificationData ROBDD CreateFromLogicFunctions GetSubTable Normalization ShannonExpansion Zero