IsPositiveUnateFunctionTo IsUnateFunctionTo IsZeroFunction AndOr BDD MaxValue ToAndXor ToOrAnd AddXorTerm ToDualFunction DiagramGateName FeedbackDiagram LogicScript logicvardef Nor RadixFromIndex RadixToIndex object Realization To2LayerOrAnd ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables OutputAndStateBasedly Implementation StateDeviceName string CreateFromLogicFunctions Normalization XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.