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.
IsBlankFunction IsPositiveFunction IsSelfDualFunction IsUnateFunction IsUnateFunctionTo AbsoluteExpression binaryioset() ToAndXor ToOrAnd ToDiagram ToShannonTree list() logicvardef long() LeastSignificantDigit object() Realization To2LayerNor ToFullAnd ShortestInputsForDistinguishTwoStates CreateCompactTableWithFullSimplification Implementation FastVerificationData DontCare SimpleCover string GetSubTable AdjustLogicVariableCount XORP Zero