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.
MatchLogicFunction IsBiUnateFunction IsCovering IsLinearFunction IsMonotonicFunction IsOneFunction IsPositiveFunction IsSelfAntiDualFunction BCD bool() ToOrAnd ToDiagram ToPOS DiagramGateName DigitalSystem Count Load Nand SAT ShortestInputsForTransition TransitionSeries CreateCompactTableWithFullSimplification ToDigitalSystem Balanced BestVariableOrder string CreateFromLogicFunctions ComputeDONTCARE Xor Zero