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.
Advanced IsMonotonicFunction IsOneFunction IsPositiveUnateFunctionTo AndOr ToAndOr MaxValue ToVariableInvertedFunction DiagramGateName list() LogicScript long LeastSignificantDigit Or real To2LayerOrAnd To2LayerAndXor Solve CreateCompactTableWithFullSimplification Simplification ShannonTree ROBDD MultiCover StateDeviceName string GetSubTable IndependentBase Normalization Xor Zero