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.
IsCovering IsLinearFunction IsParityFunction IsSymmetricFunction AndXor ToAndOr BCD BinaryNumberToString GrayCode OneComplement AddXorTerm Eq FeedbackSystem LogicScript LeastSignificantDigit MantissaToPositiveDecimal OrAnd To2LayerNand MaxSAT Solve AutoAssignInputAndStateVariables OutputAndStateBasedly CreateCompactTable Implementation HuffmanMealy DontCare Full TruthTable GetDontCareLogicFunction Zero