PermuteLogicFunction IsBiUnateFunction IsBlankFunction IsPositiveFunction FromBinary BinaryNumberToString bool() Convert ToAndXor ToDualFunction ToROBDD DigitalSystem Equiv LeastSignificantDigit Radixes SAT MaxSAT ShortestInputsForTransition Backwardly ToFeedbackSystem HuffmanMealy ROBDD Canonical DontCare SimpleInner string CreateFromLogicFunctions SemanticEval var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.