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.
IsBiUnateFunctionTo IsPositiveFunction FromBinary ToBinary BinaryNumberToString ToPOS ToTruthTable ToVariableInvertedFunction LogicScript logicvardef() long minterm Minus PositiveNumberToMantissa One To2LayerNor Save Backwardly OutputAndStateBasedly BestVariableOrder MultiCover SimpleCover StateDeviceName string() TimingChart TruthTable CreateFromLogicFunctions ComputeFunctionOrder var Zero