IsNegativeUnateFunctionTo IsOneFunction IsSelfDualFunction IsThresholdFunction AbsoluteExpression BCDEx3 BinaryNumberToString bool() ToROBDD ToVariableInvertedFunction ToXORP Imply Load logicvardef MostSignificantDigit RadixToIndex real To2LayerOrAnd SAT ShortestInputsForTransition StateVariables StateDeviceName string TimingChart CreateFromLogicFunctions GetNegativeLogicFunction EnlargeLogicFunction Normalization var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.