Analysis AndXor AbsoluteExpression FromBinary ToBinary BinaryNumberToString PureBinary TwoComplement ToDiagram ToNotFunction ToTruthTable FeedbackDiagram FeedbackSystem Not LeastSignificantDigit MantissaToPositiveNumber MostSignificantDigit OrAnd real() MaxSAT ShortestInputsForDistinguishTwoStates Backwardly Fast Shannon SimpleCover SimpleInner string AdjustLogicVariableCount var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.