Advanced IsBiUnateFunction IsBiUnateFunctionTo IsEqual IsThresholdFunction BCDEx3 bool() bool ToPOS ToROBDD ToShannonTree ToSOP DigitalSystem logicvardef() MantissaToPositiveInteger PositiveDecimalToMantissa One real() SOP Sequential ShortestInputsForDistinguishTwoStates InputVariables Backwardly StateVariables OutputAndStateBasedly ROBDD SimpleInner AdjustLogicVariableCount ComputeFunctionOrder Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.