Analysis IsBiUnateFunction IsBiUnateFunctionTo IsBlankFunction AndXor BinaryNumberToString NineComplement binaryioset ToDualFunction ToVariableInvertedFunction FeedbackDiagram list() LogicScript logicvardef() long minterm() Nor NumberSystem To2LayerAndXor Save ShortestInputsForDistinguishTwoStates StateTransitionBasedly To2layerOrAnd Balanced FastVerificationData string() GetNegativeLogicFunction GetPositiveLogicFunction ComputeFunctionOrder Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.